Valentin D. Richard
Valentin-D-Richard
PhD student in computer science (computational linguistics)
LORIA, Université de Lorraine Nancy, France
Alfred Galichon
alfredgalichon
Professor of economics and mathematics at NYU, Courant Institute.
Author of Optimal Transport Methods in Economics (Princeton, 2016).
Samuel Vivien
samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIA Paris - France
Philipp G. Haselwarter
haselwarter
Researcher in programming languages, logic, cryptography.
Aarhus University
Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
Dimi Racordon
kyouko-taiga
Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
λProlog and the Calculus of Inductive Constructions
LPCIC
Let's boost λProlog to implement an elaborator for CIC!
Masanari KIMURA
nocotan
Research Fellow in statistics and information geometry.
The University of Melbourne Australia
Martín Valdés de León
mvaldesdeleon
Personal repositories. Opinions and thoughts are my own and do not represent my employer.
Sr. Solutions Architect at @aws Mannheim, Germany
Xianbin Gu (Bing)
hogwild
A Ph.D. in information science. My research interests are machine learning and its applications in image processing and data analysis.
PreviousNext