lab156
Follow
Patrick Loeber
patrickloeber
I create free content about Python and AI on YouTube and my website • YouTube 250K+ • Developer Advocate at @AssemblyAI
@AssemblyAI
Explosion
explosion
Software company specializing in developer tools and tailored solutions for AI and Natural Language Processing
Berlin, Germany
Guillaume Lample
glample
Research Scientist at Facebook AI Research. Working on unsupervised machine translation, symbolic mathematics and theorem proving.
Facebook AI Research Paris
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
Michael Kohlhase
kohlhase
Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge
Computer Science, FAU Erlangen Nürnberg Erlangen, Germany
Harald Schilly
haraldschilly
QBasic and Pascal when young, grew up with R, Java, C and friends, dived deep into Python and JS, and still happy to make new friends like the Go Gopher, …
vienna, austria
Bruce Eckel
BruceEckel
Consultant/Trainer. Author: Atomic Kotlin, On Java 8, Atomic Scala, Thinking in Java, Thinking in C++ etc. Co-podcaster of HappyPathProgramming.com
Mindview LLC Crested Butte, CO, USA
Marty Kandes
mkandes
Computational & Data Science Research Specialist, HPC User Services Group, Data-Enabled Scientific Computing Division, San Diego Supercomputer Center, UCSD
@sdsc
Mark Fincher
Mark-Fincher
I'm a math PhD student specializing in low dimensional topology and hyperbolic geometry.
Pittsburgh, PA
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Michael Kennedy
mikeckennedy
A Python enthusiast and an entrepreneur. Host of Talk Python and Python Bytes podcasts, founder of Talk Python Training. Python Software Foundation Fellow.
Talk Python Portland, OR
Elvis Saravia
omarsar
Machine Learning & NLP Research • PhD • Building @dair-ai • Previously: Meta AI, Elastic
DAIR.AI
Philippe Rémy
philipperemy
From Paris to Bangkok via London, Tokyo, LA. Ex @ImperialCollegeLondon. Maths, Stats, Machine Learning. 🏄 🎲 🎱 Co Founder of @skysense, an AI startup.
Imperial College London Earth
davidayodele
Interested in networks, cryptography, biological physics, and point-of-care technology. Mostly use GitLab.
University of Pittburgh Pittsburgh, PA
Jesse Michael Han
jesse-michael-han
I am a PhD student at the University of Pittsburgh, under the supervision of Tom Hales.
University of Pittsburgh Pittsburgh
Takuto Asakura
wtsnjp
Ph.D. in Computer Science. Software Engineer. Research in math linguistics and math language processing. Engineering in search systems. Heavy user of TeX/LaTeX
UTokyo, LINE Corp. Tokyo, Japan
Aurélien Geron
ageron
Author of the book Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow. Former PM of YouTube video classification and founder & CTO of Wifirst.
Auckland
PreviousNext