jesyspa
Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
@JetBrainsUtrecht, The Netherlands
jesyspa's Followers
- sharmindolaDhaka
- AyodejiOmoleNigeria, Lagos.
- eust-wSol III
- MohammedMAmirToronto, Ontario, Canada
- callmemehdyLEET School
- standardgalacticXanadu
- ShriHari33
- dmlengelaAlbuquerque, NM
- 0amritsinghEarth 616
- XyzzyZ4p
- DimoDimov99
- im2781975
- 2SAIFUL7ISLAM3
- rahim-senpaiDaffodill International University
- alaminkhan786Bangladesh
- sultanaskan
- devamrh
- ferdous6443United International University
- mostafa-1017
- sabbir-sharifDaffodil International University
- SHARIFsGIT
- amirrhamzaa
- dfabianusCompetence Center CHASE
- psilosporeAcima
- abdalazizrashidEarth
- jensln
- SearchingFox
- francescoo22JetBrains
- thikhinabSingapore
- varikvaleforUS-MD
- HermesMarcNijmegen
- RexRowanUnited Kingdom
- Sahhmm
- gabrielferrazduque
- nikitavoloboev
- gallaisGlasgow, Scotland