Intro: Pieter Cuijpers

Stream: new members

[Pieter Cuijpers]

Hi everyone, I'm a Dutch assistant/associate professor with associations in Eindhoven/Nijmegen working on a mix of fundamental computer science topics and real-time cyber-physical systems topics. I'm picking up working with proof assistants, hoping to contribute to automated theorem proving of theorems from aforementioned domains. At the moment, I'm still very new to type theory and using proof assistants, so I'm looking for a place to ask real beginner questions...

[Riccardo Brasca]

Welcome! This is the place for beginner questions :)