Zulip Chat Archive

Stream: new members

Topic: Intro: Pieter Cuijpers

Pieter Cuijpers (Nov 11 2022 at 12:23):

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 (Nov 11 2022 at 12:26):

Welcome! This is the place for beginner questions :)

Last updated: Dec 20 2023 at 11:08 UTC