Skip to main content
University of Colorado Boulder
Search

Search

Other ways to search:

  • Events Calendar
  • Campus Map
Computer Engineering Research Area
College of Engineering and Applied Science
  • Home
  • People
  • Research Groups
  • Graduate Opportunities
  • ECEE Department

Fabio Somenzi

  • Professor
  •  Fabio@colorado.edu
  •  303-492-3466
  • Department Homepage

Formal Verification | Model Checking | Hardware Synthesis | Automata | Decision Procedures | Decision Diagrams

Computer Engineering Research Area

Department of Electrical, Computer and Energy Engineering
425 UCB, Boulder, CO 80309

Main Office: Engineering Center, Room ECEE 1B55
Phone: 303-492-7327
Fax: 303-492-2758

Be Boulder.

University of Colorado Boulder

© Regents of the University of Colorado

Privacy • Legal & Trademarks • Campus Map

University of Colorado Boulder

© Regents of the University of Colorado