Welcome to my homepage !
Since November 1st, I am working for ICT Group as a consultant. For students looking for internships or master projects, please do not hesitate to contact me at ICT: julien.schmaltz (at) ict (dot) nl.
I am a guest at the Department of Mathematics and Computer Science of the Eindhoven University of Technology in 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.