• Contact Info
Publications in VIVO
 

Somenzi, Fabio Professor

Positions

Research Areas research areas

Research

research overview

  • Prof. Somenzi's research is concerned with the design and verification of digital and cyberphysical systems. Deciding whether an artifact satisfies a specification is computationally hard. Yet, it is vital, given society's reliance on electronic systems. Model checking is an algorithmic approach to verification. Prof. Somenzi's group has developed model checkers that have pioneered many techniques and have been widely adopted. They have developed software for decision diagrams that is adopted in fields that go from electronic design automation to compilers to computer algebra. Decision procedures for propositional logic are used by computers to perform various forms of reasoning. Prof. Somenzi and his group have found ways to increase their deductive power. Game theory and machine learning can be applied to synthesize hardware or programs. Prof. Somenzi's group has developed efficient techniques used for this task.

keywords

  • Formal methods for the verification of digital systems, model checking, efficient decision procedures for propositional and first-order logic, binary decision diagrams, automata theory, temporal logic, game theory, synthesis of reactive systems from logical specifications, cyberphysical systems, reinforcement learning

Publications

selected publications

Teaching

courses taught

  • ECEN 2310 Programming with Mathematical Software (Spring 2019 UC Boulder)
  • ECEN 2703 Discrete Mathematics for Computer Engineers (Spring 2019 UC Boulder)
  • ECEN 4840 Independent Study (Spring 2019 UC Boulder)
  • ECEN 5840 Independent Study (Spring 2019 UC Boulder)
  • ECEN 6950 Master's Thesis (Spring 2019 UC Boulder)
  • ECEN 1310 C Programming for ECE (Fall 2018 UC Boulder)
  • ECEN 2310 Programming with Mathematical Software (Fall 2018 UC Boulder)
  • ECEN 5840 Independent Study (Fall 2018 UC Boulder)
  • ECEN 6950 Master's Thesis (Fall 2018 UC Boulder)
  • ECEN 8990 Doctoral Thesis (Fall 2018 UC Boulder)
  • ECEN 4840 Independent Study (Summer 2018 UC Boulder)
  • ECEN 8990 Doctoral Thesis (Summer 2018 UC Boulder)
  • ECEN 1030 Special Topics (Spring 2018 UC Boulder)
  • ECEN 3840 Independent Study (Spring 2018 UC Boulder)
  • ECEN 4840 Independent Study (Spring 2018 UC Boulder)
  • ECEN 5840 Independent Study (Spring 2018 UC Boulder)
  • ECEN 6950 Master's Thesis (Spring 2018 UC Boulder)

Background

International Activities