Generate a tailored SOP for Dr. Jan Křetínský. Improve your application with a focused, well-structured draft.
Jan Křetínský works in the area of formal methods, focusing on developing methods and tools for finding errors in software systems and proving their absence. He evaluates and optimizes performance in stochastic real-time systems. His work also involves verification and synthesis of safe and correct controllers, utilizing techniques from automata theory, logic, and probability theory. Křetínský studied computer science, mathematics, philosophy, and linguistics at Masaryk University Brno in the Czech Republic and completed his doctorate at TUM with distinction (summa cum laude) in 2013. He later joined the Institute of Science and Technology Austria as an IST Fellow. In 2015, he became an assistant professor at the Technical University of Munich (TUM).