Formal Methods in Verification
351 faculty research Formal Methods in Verification on GradNova.
R
Associate Professor (ME, SE Appointed), Director of Master’s Degree Programs (RAS)
C
Professor, Department of Computer Science • Chair, Department of Computer Science
VLSI Systems: Automated Synthesis and Optimization, Validation and Verification of Digital VLSI Systems, Including: Formal Verification of Rtl Descriptions, New Techniques to Guide Cnf-Sat Search, Using Groebner's Proof Systems for Simplification of Design Verification and Sat Solving, and Design Automation for Optic/photonic Logic
Formal Methods in Verification
Embedded Systems Design Techniques
Photonic and Optical Devices
+2
A