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
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
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