-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
, robust acquisition strategies. Design, execute, and document high-quality measurements for internal projects and external collaborations, including appropriate QC, troubleshooting, and clear reporting
-
technology developed by our group—as a fully operational, camera-based underwater imaging system. RODI is designed to continuously detect, classify, and quantify drifting organisms in situ, thereby enabling
Enter an email to receive alerts for hardware-design "https:" positions