Pierre Ganty
pierreganty
Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.
@imdea-software Spain
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Mahdi Movahedian Moghaddam
mmovahed
I am a PhD student in Computer Science at Shahid Beheshti University, specializing in high-performance computing and parallel computing.
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Carnegie Mellon University
Nathanaël Fijalkow
nathanael-fijalkow
Computer science researcher working on program synthesis
CNRS Bordeaux, France
Markus N. Rabe
MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, Berkeley Berkeley, CA, USA
Georg Zetzsche
gzetzsche
Tenure-track faculty member at MPI-SWS, Germany.
@MPI-SWS Kaiserslautern, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
Danya Lette
danyalette
Program synthesis, automated formal verification, programming languages, ...
University of Toronto Toronto
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel
Iman Ghadimi Deylami
iManGHD
Bioinformatician | Data Scientist
Sharif University of Technology Tehran, Iran
Iman Rahmati
ImanRHT
Researcher at Performance and Dependability Lab
Sharif University of Technology
PreviousNext