Raphaël Sterbac
raphael-sterbac
Maths and Computer science student at ENS Paris-Saclay.
ENS Paris-Saclay France
Maja Kądziołka
meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Probably near my computer
Boxy
BoxyUwU
@rust-lang type system team member and const generics group lead.
Also working on documenting the type system.
UK
Cass Alexandru
cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala
RPTU Kaiserslautern-Laundau Kaiserslautern
Thomas Lamiaux
thomas-lamiaux
Student Ens-Paris Saclay
Research intern in the Gallinette team at Inria Nantes
Peter Mosses
pdmosses
I'm currently looking at Agda support for denotational semantics. My development of tool support for CBS in the @plancomps project should resume later in 2025.
@tudelft-pl Delft, The Netherlands
Paweł Balawender
ruplet
Master of Computer Science @ University of Warsaw, 2025. Researcher at University of Warsaw :)
Poland
Yunkai Zhang
YunkaiZhang233
4th Year Computing Student at Imperial College London
Imperial College London London
Markus de Medeiros
markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
Christina O'Donnell
cdo256
Computer science PhD candidate at the University of Nottingham.
Cambridge, England
Johannes Schipp von Branitz
Schippmunk
PhD Student at the University of Nottingham
Nottingham, United Kingdom
PreviousNext