Fabio Somenzi
Fabio Somenzi
Full Professor, ECEE, University of Colorado at Boulder
Joined
July 2019
Names
Emails
****@colorado.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
ECEE, University of Colorado at Boulder (colorado.edu)
2001 – Present
Associate Professor
ECEE, University of Colorado at Boulder (colorado.edu)
1993 – 2001
Assistant Professor
ECEE, University of Colorado at Boulder (colorado.edu)
1989 – 1993
Researcher
Central R&D, STMicroelectronics (st.com)
1982 – 1989
MS student
Dipartimento di Automatica e Informatica, Polytechnic Institute of Turin (polito.it)
1975 – 1980
Advisors, Relations & Conflicts
Coauthor
Dominic Wojtczak
2018 – Present
PhD Advisee
Roderick Boem
1994 – 2000
Expertise
reinforcement learning
2018 – Present
automata theory
1999 – Present
model checking
1990 – Present
decision procedures
1990 – Present