Julien Schmaltz
My research interests include model-based testing for timed systems; wireless sensor networks; real-time model checking, in particular using UPPAAL; formal verification of Systems on a chip (SoCs), with an emphasis on Networks on a chip (NoCs); mechanized theorem proving, in particular with ACL2 or Isabelle/HOL, ...
Bienvenue ! Welcome ! Willkommen ! Welkom !
I am an Assistant Professor of the School of Computer Science of the Open University of the Netherlands. I am also affiliated to and located at the Institute for Computing and Information Sciences (ICIS) at Radboud University (RU) in Nijmegen, The Netherlands.
Our research on NoCs is supported by NWO and a grant from Intel Corporation.
Open University of The Netherlands
Radboud University Nijmegen
Room 02.069
Phone: +31 24 36 52077
Fax: +31 24 365 2525
Email: julien.schmaltz - at - ou.nl
PhD positions are available. Please contact me for more information. The official advertisement is available here.
Intel Corporation awarded us a grant to support our research on communication fabrics !
Afstudeerprojecten here (Master Thesis)
Networks-on-Chips: Theory and Practice: published by CRC Press is now available at your favorite bookstore ! Check publisher site here.
