Cryptographic Implementations and Security
154 faculty research Cryptographic Implementations and Security on GradNova.
R
Professor and the Kent Gordon Croft Investment Management Faculty Scholar
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
P
Associate Chair, Professor
S
Professor of Electrical and Computer Engineering; Chair, Department of Electrical and Computer Engineering
C
Arthur W. Burks Collegiate Professor of Computer Science and Engineering Professor, EECS – Computer Science and Engineering CSE Associate Chair for Graduate Affairs