Nico is a computer scientist by education. He studied at Delft University of Technology and received his Phd. from the same institution. During his studies he specialized in the application of formal methods for software development, which has, since then, always been a theme/interest in his career. After his doctoral studies he started working for IT services provider Capgemini. There he further developed his capabilities, not only his soft skills but he also became an expert in enterprise and information architecture. He also gained thorough knowledge of intelligent transportation systems (ITS) and mobility.
Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change
Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change
16:00 - 18:00 | |||
16:00 25mFull-paper | Modular Synthesis of Verified Verifiers of Computation with STV Algorithms FormaliSE Milad K. Ghale The Australian National University, Dirk Pattinson Australian National University, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia | ||
16:25 15mShort-paper | A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns FormaliSE Erick Raelijohn University of Montreal, Michalis Famelis Université de Montréal, Houari Sahraoui Université de Montréal | ||
16:40 25mFull-paper | A Proof-Producing Translator for Verilog Development in HOL FormaliSE Andreas Lööw Chalmers University of Technology, Magnus O. Myreen Chalmers University of Technology, Sweden | ||
17:05 25mFull-paper | On the Formalization of Importance Measures using HOL Theorem Proving FormaliSE Waqar Ahmad Carnegie Mellon University, Shahid Ali Murtza National University of Sciences and Technology, Osman Hasan Concordia University, Canada, Sofiene Tahar Concordia University | ||
17:30 30mDay closing | Discussion/closing FormaliSE | ||
