jesyspa
Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
@JetBrainsUtrecht, The Netherlands
jesyspa's Following
- akuklevGöttingen/Germany
- co-danGroningen
- digama0Chalmers University of Technology
- dlbuunk
- flori9
- gallaisGlasgow, Scotland
- HermesMarcRadboud University
- IGJoshuaIRIS.TV
- Joco223Belgrade, Serbia
- lynn@SecureDNA
- mallechilie
- maximgNetherlands
- nmvdw
- peterlefanulumsdaineStockholm University
- quchenGermany
- rntz
- s5bugOceanside, California
- themeeman
- vittorioromeo