Jan Bessai -

Registered user since Mon 14 Jun 2021

Name:Jan Bessai

Country:Germany

Affiliation:Independent

Personal website:https://noprotocol.net/jan/

GitHub:https://github.com/JanBessai

Research interests:Type Theory, Intersection Types, Synthesis, Programming

Contributions

SPLASH 2022	Organizer of Sources of Unsoundness in Verification (Unsound) within the Workshops-track
Unsound 2022	Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track Author of What do we mean by "unsound"? within the Sources of Unsoundness in Verification-track Author of Welcome to Unsound within the Sources of Unsoundness in Verification-track
ECOOP 2022	Student Volunteer Chair in Committee within the Student Volunteers-track Student Volunteer Chair in Organizers
ECOOP 2021	Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Artifacts-track Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Technical Papers-track
PEPM 2018	Author of Towards Language-independent Code Synthesis (Poster/Demo Talk) within the PEPM 2018-track