Bendeguz Seres
EarlPitts
Interested in PL, Type Theory and Functional Programming. Nix and Haskell enthusiast.
Budapest
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
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
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Amine Sehaba
Sehaba95
Working on geometric deep learning and graph generative models. Use mostly Python, PyTorch and PyTorch-Geometric.
PhD student @ LIRIS Lyon, France
Soares Chen
soareschen
@maybevoid ∘ @contextgeneric ∘ Rust ∘ Haskell ∘ Functional Programming ∘ Programming Language Theory
@maybevoid Leipzig, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
James Chapman
jmchapman
Free the group. Nuke the kernel. Power to the n.
@input-output-hk Glasgow, UK