Professional homepage of Thomas Ferrère
Postdoctoral Researcher at IST Austria.
- Office: I01.O2.073
- Telephone: +43 2243 9000 3504
- E-mail: firstname.lastname@example.org
- Address: IST Austria, Am Campus 1, A-3400 Klosterneuburg
- Verification and Validation of Embedded Systems
- Logic-based Specification Formalisms
- Mixed Discrete/Continuous Simulation
- Electronic Design Automation
Since 2016, I am a postdoctoral researcher at IST Austria, Vienna in the group of Tom Henzinger.
Previously, I was a PhD student at Verimag, University of Grenoble, France under the supervision of Oded Maler, and in collaboration with Mentor Graphics corporation under the CIFRE scheme.
My research is in the verification and validation of embedded systems, with contributions in logic monitoring, pattern matching, fault localization, and automata theory.
I hold a master's in mathematical logic from the University of Paris Diderot and an engineer diploma in mathematical modelling from the University of Clermont-ferrand, France.
Assertions and Measurements for Mixed-Signal Simulation, University of Grenoble, 2016.
Arranged by topic and in chronological order.
See also my pages at DBLP and Google Scholar.
Copyright belongs to respective publishers.
- Logic Monitoring
- Pattern Matching
- Fault Localization
- Automata Theory