Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
hehelego
hehelego
stay focused,be motivated.
It is either meaningful or inspiring otherwise just a waste of time.
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
임기정
KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.
https://sites.google.com/view/fcai-lab Seoul, Republic of Korea
Flávio Leonardo Cavalcanti de Moura
flaviodemoura
Lecturer in the Department of Computer Science at Universidade de Brasília - Brazil.
Universidade de Brasília Brasil
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore