CS student at MFF UK in Prague.
-
Charles University in Prague
- Prague, Czech Republic
- tomasm.cz
Vilém Zouhar
zouharvi
PhD student, evaluation and multilingual natural language processing
ETH Zürich Zürich
Junyan Xu
alreadydone
Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry.
Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.
Mathlib Initiative Shenzhen
Ondrej Sika
ondrejsika
Software, DevOps & SRE Engineer, Architect, Consultant and Lecturer 🇬🇧🇩🇪🇨🇿
@sikalabs, ex @braiins @slushpool Prague, Czech Republic
Dr. Ivan S. Zapreev
ivan-zapreev
PhD in Theoretical Computer Science, Master and Bachelor in Theoretical Mathematics. A Data Scientist with outstanding research and software engineering skills
Individual Entrepreneur Krasnodar region, Russian Federation
Jindřich Libovický
jlibovicky
A researcher at @ufal, Charles University working on natural language processing (NLP) and machine translation (MT).
Charles University Prague. Czech Republic


