Automated/neural theorem proving, RL. PhD student at Charles University.
Highlights
- Pro
Antonio
meleantonio
I'm an economist at the London School of Economics. Currently training for the next zombie apocalypse. https://medium.com/@antoniomele1
London School of Economics and Political Science United Kingdom
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
Ondra Janoška
Quacken8
Just a silly little guy, a tiny goofer
Faculty of Mathematics and Physics, Charles University Prague
Richard Hladík
RichardHladik
Computer science student at ETH Zürich. Interested in algorithms, data structures and optimization.
ETH Zürich
David Kozak
d-kozak
Passionate software engineer interested in programming languages - their design, analysis and implementation.
Oracle Labs Brno
Jiří Beneš
jiribenes
PhD student at @se-tuebingen.
Interested in effect and coeffect systems.
University of Tübingen, @se-tuebingen Tübingen, Germany
Jindřich Máca
macajind
Developer specializing in web technologies for whom programming is job, hobby and passion at the same time.
Make Prague