Thomas Ferrère

Postdoctoral researcher at IST Austria.


Research interests

About me

Since November 2016, I am a postdoctoral researcher at the Institute of Science and Technology, Austria in Tom Henzinger's group. Previously, was completing my PhD thesis at Verimag, University of Grenoble, France under the supervision of Oded Maler, and in collaboration with Mentor Graphics corporation. I hold a Master's in Mathematical Logic from the University of Paris 7, and an Engineer Diploma in Mathematical Modeling from the University of Clermont-ferrand, France.


Arranged by topic. See also my pages at DBLP and Google Scholar.

PhD Thesis

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