Milan Straka

Assistant Professor, Faculty of Mathematics and Physics, Charles University Prague
Joined
July 2019

Names

Milan Straka

Emails

****@ufal.mff.cuni.cz (Confirmed)
, 
****@matfyz.cuni.cz (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Faculty of Mathematics and Physics, Charles University Prague (mff.cuni.cz)
2017 – Present
Researcher
Faculty of Mathematics and Physics, Charles University Prague (mff.cuni.cz)
2013 – 2017
PhD student
Faculty of Mathematics and Physics, Charles University Prague (mff.cuni.cz)
2008 – 2013
MS student
Faculty of Mathematics and Physics, Charles University Prague (mff.cuni.cz)
2006 – 2008
Undergrad student
Faculty of Mathematics and Physics, Charles University Prague (mff.cuni.cz)
2003 – 2006

Advisors, Relations & Conflicts

Coauthor
Matěj Kripner
2025 – Present
Coauthor
Michal Sustr
2025 – Present
Coauthor
Ekaterina Egorova
2024 – Present
Coauthor
Vojtěch Vančura
2024 – Present
Coauthor
Pavel Kordík
2024 – Present
Coauthor
Federica Gamba
2024 – Present
Coauthor
Michal Novák
2024 – Present
Coauthor
Miloslav Konopík
2024 – Present
Coauthor
Jakub Sido
2024 – Present
Coauthor
Ian Roberts
2023 – Present
Coauthor
Andres Garcia-Silva
2023 – Present
Coauthor
Cristian Berrio Aroca
2023 – Present
Coauthor
Jose Manuel Gomez-Perez
2023 – Present
Coauthor
Dimitris Galanis
2023 – Present
Coauthor
Ulrich Germann
2023 – Present
Coauthor
Alexandr Rosen
2022 – Present
Coauthor
David Samuel
2020 – Present
Coauthor
Kateřina Macková
2020 – Present
Coauthor
Marie Mikulová
2020 – Present
Coauthor
Jan Štěpánek
2020 – Present
Coauthor
Barbora Štěpánková
2020 – Present
Coauthor
Stephan Oepen
2019 – Present
Coauthor
Omri Abend
2019 – Present
Coauthor
Daniel Hershcovich
2019 – Present
Coauthor
Marco Kuhlmann
2019 – Present
Coauthor
Nianwen Xue
2019 – Present
Coauthor
Jayeol Chun
2019 – Present
Coauthor
Tim O'Gorman
2019 – Present
Coauthor
Vojtech Hudecek
2018 – Present
Coauthor
Dan Kondratyuk
2018 – Present
Coauthor
Tomáš Gavenčiak
2018 – Present
Coauthor
Ondrej Platek
2018 – Present
Coauthor
Daniel Zeman
2017 – Present
Coauthor
Martin Popel
2017 – Present
Coauthor
Joakim Nivre
2017 – Present
Coauthor
Filip Ginter
2017 – Present
Coauthor
Luotong
2017 – Present
Coauthor
Sampo Pyysalo
2017 – Present
Coauthor
Slav Petrov
2017 – Present
Coauthor
Martin Potthast
2017 – Present
Coauthor
Francis M. Tyers
2017 – Present
Coauthor
Christopher D Manning
2017 – Present
Coauthor
Anna Nedoluzhko
2017 – Present
Coauthor
Silvie Cinkova
2017 – Present
Coauthor
Jaroslava Hlaváčová
2017 – Present
Coauthor
Václava Kettnerová
2017 – Present
Coauthor
Zdeňka Urešová
2017 – Present
Coauthor
Antoine Doucet
2017 – Present
Coauthor
Zdenek Zabokrtsky
2016 – Present
Coauthor
Magda Ševčíková
2016 – Present
Coauthor
Jonáš Vidra
2016 – Present
Coauthor
Jan Hajic jr
2015 – Present
Coauthor
David Mareček
2014 – Present
Coauthor
Jana Straková
2013 – Present
Coauthor
Jan Hajič
2013 – Present

Expertise

deep learning
Present
automated theorem proving
Present
model-based reinforcement learning
Present
world models
Present

Publications

Co-Authors