- Karlsruhe, Germany
- https://orcid.org/0000-0001-9074-9055
Alexandre Rademaker
arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.
IBM Research and EMAp/FGV Rio de Janeiro
Pavel Zadorski
zadorski
Our hobbies define us better than chapter "About me" :)
Ciklum Köln, Deutschland
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Jeffrey Young
doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
Marcel Hiltscher
Marcelo00
I am interested in various aspects of machine learning, including its theory and applications in science.
Molecular Machine Learning Eindhoven
Henning Dieterichs
hediet
Let's build the software of the future! Working on VS Code @microsoft.
Germany
PreviousNext