Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Leonie Weissweiler
LeonieWeissweiler
Postdoc in Computational Linguistics at Uppsala University
Uppsala University Uppsala, Sweden
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Csaba Hruska
csabahruska
I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
Arthur Azevedo de Amorim
arthuraa
Assistant professor at Rochester Institute of Technology.
Rochester Institute of Technology Rochester, NY, USA
Matvey Soloviev
blackhole89
Postdoc. May these repositories be a monument to the dangers of procrastination.
Saarbrücken
James Chapman
jmchapman
Free the group. Nuke the kernel. Power to the n.
@input-output-hk Glasgow, UK
Cyrus Omar
cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist
University of Michigan Ann Arbor, MI
William DeMeo
williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist, functional programmer (Agda, Lean, Scala, Spark).
IO @input-output-hk Boulder, CO, USA
Łukasz Czajka
lukaszcz
compiler construction, formal verification, proof automation, computational logic
PreviousNext