معرفی
Milan Vlach is a Professor at the Department of Theoretical Computer Science and Mathematical Logic within the Faculty of Mathematics and Physics at Charles University. His research focuses on foundational aspects of computer science and mathematical logic, bridging computational theory with formal reasoning systems.
۰مقاله منتشرشده