Fabio Somenzi
Fabio Somenzi
University of Colorado at Boulder
Names
Emails
****@colorado.edu
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
Coauthor
Sadegh Soudjani
****@newcastle.ac.uk
2020 – Present
Coauthor
Milad Kazemi
****@kcl.ac.uk
2020 – Present
Coworker
Majid Zamani
****@colorado.edu
2019 – Present
Coauthor
Sven Schewe
****@liverpool.ac.uk
2018 – Present
Coauthor
Dominic Wojtczak
****@liverpool.ac.uk
2018 – Present
Coauthor
Ernst Moritz Hahn
****@utwente.nl
2018 – Present
PhD Advisee
Mateo Perez
****@colorado.edu
2017 – Present
Coworker
Ashutosh Trivedi
****@colorado.edu
2015 – Present
Coworker
Sriram Sankaranarayanan
****@colorado.edu
2010 – Present
PhD Advisee
Roderick Boem
****@iaik.tugraz.at
1994 – 2000
Expertise
reinforcement learning
2018 – Present
automata theory
1999 – Present
model checking
1990 – Present
decision procedures
1990 – Present