Ján Perháčمشاهده پروفایل
استادیار
Ján Perháč is an Assistant Professor at the Faculty of Electrical Engineering and Informatics, Technical University of Košice. He teaches core courses including Database Systems, Logic for Informaticians, and Type Theory, while leading laboratory sessions on programming semantics and formal methods. His office is located at Letná 9 (Building B525), with consultations available by appointment. Research Focus: Dr. Perháč specializes in computational logic and formal methods, with emphasis on: Development of educational tools for teaching formal proofs and programming semantics Applications of non-traditional logical systems in computer science Type theory implementations and semantic modeling of programming languages Web-based interactive systems for logic visualization and automated theorem proving Publication Analysis: His recent articles (2022-2025) demonstrate strong focus on creating pedagogical tools for formal logic education, with multiple web-based proof assistants and visualization platforms. Secondary themes include advancements in intensional logic systems and programming language semantics, with occasional interdisciplinary work in environmental modeling and geoinformatics. Awards & Recognition: Best Presentation Award at SCYR 2019 Doctoral Conference (IT Section) Research Leadership: Principal Investigator for: European Research Network on Formal Proofs Modern Approaches in IT Education: Type Theory Participant in projects including compiler education innovations and edge-to-cloud computing architectures. Serves on program committees for IEEE Informatics conferences and the Modeling, Control and Information Technologies symposium.






