Associate Professor

Julien Schmaltz

Rigorous system modelling is like creating music, paintings, or great wines. It is the search for the perfect combination of well-designed parts.


Research Profile

Julien Schmaltz is an Associate Professor and Chair of Rigorous Industrial System Design in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He is a member of the Model Driven Software Engineering Section. His primary research interests are related to the application of formal methods to hardware and software systems. In particular, his group is working on hardware verification techniques for on-chip networks and the development of formal models for the verification and certification of safety-critical and high-assurance systems. This research is supported by NWO, Intel Corporation, and the European Commission. His group’s main research activities are related to: MaDL (Micro-architectural Description Language) which denotes a formal language to represent and analyze architectural models of hardware and software systems; The MaDL Whiteboard design environment that turns the techniques developed for the textual MaDL language into graphical and practical solutions; GeNoC (Generic Network-on-Chip), which denotes a formal theory of communication network architectures; CISK: a generic model of a Controlled Interruptible Separation Kernel, used within the EURO-MILS project to support the high-level modelling of an industrial Separation Kernel.

Academic Background

Julien Schmaltz received his education at the Université Joseph Fourier (Grenoble I), Polytech Grenoble and the University of Lille. After graduating, he worked as a postdoctoral fellow at Saarland University, Germany, at Radboud University, Nijmegen, the Netherlands and as an Assistant Professor at Open Universiteit Nederland (Dutch Open University). He joined TU/e as an Assistant Professor in 2014 and became an Associate Professor in 2016. Julien has regularly published in leading journals, such as IEEE Transactions on Parallel and Distributed Systems, Journal of Automated Reasoning and ACM Transactions on Design Automation of Electronic Systems. He has been track-chair at the Design Automation and Test Europe conference (three times), chair of the International Workshop on the ACL2 Theorem Prover and Its Applications (twice), and chair of the 2nd International Conference on Interactive Theorem Proving (ITP). He has contributed to the book Formal verification of communications in networks-on-chips. He has also contributed to more than 50 international workshops and conferences.

Educational Activities

  • Software specification

Ancillary Activities

No ancillary activities