Professor, Chandra Department of Electrical and Computer Engineering
gerstl@ece.utexas.edu
+1 512 232 8294, +1 949 413 3250

Expertise: Embedded system design; Electronic system-level (ESL) design automation, modeling, languages, methodologies and tools; Embedded hardware and software synthesis

Professor Emeritus, Department of Computer Science, College of Natural Sciences
moore@cs.utexas.edu

Expertise: Verification of computer hardware and software; automatic theorem proving; artificial intelligence

Professor, Chandra Department of Electrical and Computer Engineering
valvano@mail.utexas.edu
+1 512 471 5141

Expertise: Biomedical instrumentation; Finite element analysis of thermal and electrical systems; Electrical, mechanical, and thermal measurements; Hardware/software co-simulation of real-time embedded systems