Julien Schmaltz

a picture of me
Eindhoven University of Technology
Department of Mathematics and Computer Science
Room MF6.071b
Phone: Phone: +31 (0) 40 247 8691
Fax: +31 (0) 40 246 8508
Email: j.schmaltz (at) tue (dot) nl

Welcome to my homepage !

I am an Associate Professor of the Department of Mathematics and Computer Science of the Eindhoven University of Technology. I am a member of the Formal System Analysis group of the Model Driven Software Engineering Section.

My primary research interests are about the application of formal methods to hardware and software systems. In particular, we are working on hardware verification techniques for on-chip networks and the development of formal models for the verification and certification of separation kernels. Our research is supported by NWO, Intel Corporation, and the European Commision.




Research Projects