Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Ayberk Tosun
ayberkt
PhD student at the University of Birmingham.
University of Birmingham Birmingham, UK
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Rob Stewart
robstewart57
Associate Professor of Computer Science. Functional programmer.
Heriot Watt University Edinburgh