Maciej Ciesielski

Maciej Ciesielski

He/Him
Professor, Electrical and Computer Engineering
Associate Department Head, Electrical and Computer Engineering

◦ Computer Aided Design for VLSI circuits
◦ Logic and high level synthesis and optimization
◦ Formal verification of integrated circuits

Location

Knowles Engineering Building

151 Holdsworth Way
Amherst, MA 01003-9284
United States

Room 209D

Downloads

Education

  • 1983 PhD, Electrical Engineering, University of Rochester, Department of Electrical Engineering, Rochester, N.Y.
  • 1974 MS, Electrical Engineering, Institute of Electron Technology, Warsaw Technical University, Warsaw, Poland

Awards and distinctions

  • Elected IEEE Fellow for "Contributions to logic synthesis and formal verification of arithmetic circuits'', 2020.
  • Residential First-Year Experience, Student Choice Award, University of Massachusetts Amherst, 2013.
  • Doctorate Honoris Causa, Universite de Bretagne Sud, Lorient, France, 2008.

Professional affiliations

  • Institute of Electrical and Electronics Engineers (IEEE)