Maciej J. Ciesielski
Professor and Associate Department Head, Electrical and Computer Engineering
Disciplines
- Electrical and Computer Engineering
Research Interests
- Electronic Design Automation for digital systems
- Formal methods in Computer-Aided Design
- Behavioral and RTL synthesis