Fabio Somenzi

University of Colorado at Boulder

Names

Fabio Somenzi

Emails

****@colorado.edu

Education & Career History

Full Professor
University of Colorado at Boulder (colorado.edu)
2001Present
 
Associate Professor
University of Colorado at Boulder (colorado.edu)
19932001
 
Assistant Professor
University of Colorado at Boulder (colorado.edu)
19891993
 
Researcher
STMicroelectronics (st.com)
19821989
 
MS student
Polytechnic Institute of Turin (polito.it)
19751980
 

Advisors, Relations & Conflicts

Coauthor
Sadegh Soudjani
****@newcastle.ac.uk
2020Present
 
Coauthor
Milad Kazemi
****@kcl.ac.uk
2020Present
 
Coworker
Majid Zamani
****@colorado.edu
2019Present
 
Coauthor
Sven Schewe
****@liverpool.ac.uk
2018Present
 
Coauthor
Dominic Wojtczak
****@liverpool.ac.uk
2018Present
 
Coauthor
Ernst Moritz Hahn
****@utwente.nl
2018Present
 
PhD Advisee
Mateo Perez
****@colorado.edu
2017Present
 
Coworker
Ashutosh Trivedi
****@colorado.edu
2015Present
 
Coworker
Sriram Sankaranarayanan
****@colorado.edu
2010Present
 
PhD Advisee
Roderick Boem
****@iaik.tugraz.at
19942000
 

Expertise

reinforcement learning
2018Present
 
automata theory
1999Present
 
model checking
1990Present
 
decision procedures
1990Present