Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
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