This division covers a broad range of topics from the manufacturing of integrated circuits to their applications in real world systems.
Current research includes:
- adaptive circuits
- radio frequency circuits
- hardware security
- VLSI design
- co-packaged photonic circuits for AI acceleration and reconfigurable computing
- acoustic sensing in harsh environments
- microwave device and interconnect modeling
- IC test, and modeling of materials,components and circuits for high-frequency power electronics
- bioelectronics
- energy harvesting circuits
Faculty
Area Chair: Hamed Dalir
Biography
Primary Research Area
Computer Engineering
Research Interests
Safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components, formal methods, robotics, autonomous racing
Honors and Awards
NSF CAREER Award, 2025
Best Contributed Theoretical Paper for paper “Data Generation with PROSPECT: a Probability Specification Tool” at the Winter Simulation Conference. 12/2021
Frank Anger Memorial Award for crossover of ideas between the SIGSOFT (software engineering) and SIGBED (embedded systems) communities. 05/2017
Best Paper Award for paper “Challenges in Physical Modeling for Adaptation of Cyber- Physical Systems” at the Third IEEE World Forum on the Internet of Things. 12/2016
Gold Medal in the ACM Student Research Competition at MODELS 2015 for paper “Architectural and Analytic Integration of Cyber-Physical System Models.” 10/2015
ACM SIGSOFT Distinguished Paper Award for paper “Architectural Abstractions for Hybrid Programs” at the 18th International Symposium on Component-Based Software Engineering (CBSE), CompArch 2015. 05/2015
Education
Ph.D., Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2019
MS, Software Engineering, Carnegie Mellon University, School of Computer Science, Institute for Software Research, 2014
Specialist degree (with honors), Applied Mathematics and Computer Science, Lomonosov Moscow State University, 2011