Ciesielski, Maciej

Profile Picture
Email Address
Birth Date
Research Projects
Organizational Units
Job Title
Professor and Associate Department Head, Electrical and Computer Engineering
Last Name
Ciesielski
First Name
Maciej
Discipline
Electrical and Computer Engineering
Expertise
Behavioral and RTL synthesis
Electronic Design Automation for digital systems
Formal methods in Computer-Aided Design
Formal verification and design validation
Introduction
Name