معرفی
Assoc. Prof. Antonín Kučera is an associate professor at the Faculty of Mathematics and Physics of Charles University, affiliated with the Department of Theoretical Computer Science and Mathematical Logic. His work focuses on foundational aspects of computer science and mathematical logic, including automata theory and formal verification.
Contact details: antonin.kucera@mff.cuni.cz | Phone: 95155 4244 | Office: Room S 303, 3rd floor, Lesser Town building, Malostranské nám. 2/25, Prague 1
۰مقاله منتشرشده