Mathias Lechner
Mathias Lechner
Massachusetts Institute of Technology
Names
How do you usually write your name as author of a paper? Also add any other names you have authored papers under.
Emails
Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.
****@ist.ac.at
, ****@mit.edu
Personal Links
Add links to your profiles on other sites. (Optional)
Education & Career History
Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.
Postdoc
Massachusetts Institute of Technology (mit.edu)
2022 – 2023
PhD student
Institute of Science and Technology Austria (ist.ac.at)
2018 – 2022
MS student
TU Wien Vienna University of Technology (tuwien.ac.at)
2016 – 2017
Undergrad student
TU Wien Vienna University of Technology (tuwien.ac.at)
2012 – 2016
Advisors, Relations & Conflicts
Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.
Social
Shaobo He
****@cs.utah.edu
2020 – 2022
PhD Advisor
Tom Henzinger
****@ist.ac.at
2018 – 2022
Coauthor
Alexander A Amini
****@mit.edu
2018 – 2022
Social
Lucas Liebenwein
****@mit.edu
2018 – 2022
Coauthor
Mirco Giacobbe
****@cs.ox.ac.uk
2018 – 2022
PhD Advisor
Radu Grosu
****@tuwien.ac.at
2016 – 2022
Coworker
Ramin Hasani
****@tuwien.ac.at
2016 – 2022
Expertise
For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing
Verification of Deep neural networks
2018 – Present
Deep Learning, RNN, learning algorithms
2017 – Present
Robotics, Automation, Control
2016 – Present