Dr. Tragoudas’ current research interests are in VLSI design automation and embedded systems with emphasis on temporal verification and validation, delay testing, and timing analysis. His interests expand in the design of threshold logic circuits, and in security aspects of embedded systems and networks.
Design and test automation for VLSI circuits and systems
Cyber-physical systems (embedded systems, computer/network security, sensor networks)