T
Theodore Manikas
Associate Chair of Computer Science Clinical Professor of Computer Science
Research Interests
Formal Methods in Verification
Integrated Circuits and Semiconductor Failure Analysis
Software Reliability and Analysis Research
VLSI and Analog Circuit Testing
VLSI and FPGA Design Techniques