Professional homepage of Thomas Ferrère

Principal Hardware Engineer, Imagination Technologies.


About me

I am a principal hardware engineer at Imagination Technologies, Kings Langley, UK where I lead the datapath design group as part of the PowerVR hardware graphics division. Previously, I was postdoctoral researcher at IST Austria, Klosterneuburg, Austria in the group of Thomas A. Henzinger. I completed my PhD at Verimag, University of Grenoble, France under the supervision of Oded Maler and in collaboration with Siemens EDA.


Open positions at Imagination Technologies!

Highlighted Events

Symposium on Computer Arithmetic ARITH, Symopsium on Microarchitecture MICRO, Asilomar Conference on Signals, Systems, and Computers ASILOMAR, Design Automation Conference DAC, Design Automation and Test in Europe Conference DATE, Formal Methods in Computer-Aided Design FMCAD, Design and Verification Conference and Exhibition DVCON, Symposium on Logic in Computer Science LICS, Conference on Computer-Aided Verification CAV, Symposium on Formal Methods FM, Joint Conferences On Theory and Practice of Software ETAPS, Runtime Verification RV, Conference on Embedded Software EMSOFT.


PhD Thesis

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



Preprints by topic. See also DBLP and Google Scholar. Copyright belongs to respective publishers.