Fabio Somenzi
Fabio Somenzi
University of Colorado at Boulder
- Joined July 2019
Names
Emails
****@colorado.edu (Confirmed)
Personal Links
Education & Career History
Full Professor
University of Colorado at Boulder (colorado.edu)
2001 – Present
Associate Professor
University of Colorado at Boulder (colorado.edu)
1993 – 2001
Assistant Professor
University of Colorado at Boulder (colorado.edu)
1989 – 1993
Researcher
STMicroelectronics (st.com)
1982 – 1989
MS student
Polytechnic Institute of Turin (polito.it)
1975 – 1980
Advisors, Relations & Conflicts
Coworker
Majid Zamani
2019 – Present
Coauthor
Sven Schewe
2018 – Present
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