Browse by Subject
Search results for "hardware"

Andreas Gerstlauer
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

J S Moore
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

Jonathan W Valvano
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