Professional homepage of Thomas Ferrère

Postdoctoral Researcher at IST Austria.

My Picture

Interests

Short Bio

Since 2016, I am a postdoctoral researcher at IST Austria, Vienna in the group of Tom Henzinger.
In 2012-2016, I worked towards a PhD at Verimag, University of Grenoble, France under the supervision of Oded Maler, and in collaboration with Mentor Graphics corporation under the CIFRE scheme.
In 2010-2012, I worked towards a master's in Mathematical Logic from the University of Paris 7.
In 2007-2010, I was a computer scientist at the Open University, Milton Keynes, UK.
In 2005-2007, I was a computer scientist at Atos, Lyon, France.
In 2004, I earned an engineer diploma in Mathematical Modeling from the University of Clermont-ferrand, France.

Workshops

EQINOCS 2016 (invited talk), MTCPS 2016 (PC member), DARS 2018 (PC co-chair with Sicun Gao), FAC 2018 (PC co-chair with Dejan Nickovic), RV4RISE 2018 (invited talk).

Publications

Arranged by topic and in chronological order. See also my pages at DBLP and Google Scholar. Copyright belongs to respective publishers.

PhD Thesis

Assertions and Measurements for Mixed-Signal Simulation, University of Grenoble, 2016.