-
freelance
- Berlin/Germany
Leo provers and associated projects
leoprover
LEO-II and Leo-III are automated theorem provers for classical higher-order logic.
OpenSearch Project
opensearch-project
OpenSearch is a community-driven, Apache 2.0-licensed open source search and analytics suite that makes it easy to ingest, search, visualize, and analyze data.
Explosion
explosion
Software company specializing in developer tools and tailored solutions for AI and Natural Language Processing
Berlin, Germany
Sergei Winitzki
winitzki
Theoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages
Paris, France
Jay Alammar
jalammar
ML Research Engineer. Focused on NLP language models and visualization. @cohere-ai. Ex ML content dev @ Udacity.
@cohere-ai
Martin Trapp
trappmartin
Postdoctoral researcher @ Aalto University working on (probabilistic) machine learning.
Aalto University Europe