Perháč Ján

Name:	Ing. Ján Perháč PhD.
Function:	Assistant professor
Phone number:	+421 55 602 4144
E-mail:	jan.perhac@tuke.sk
Building:	Letná 9
Room:	B525 (B511 by the old numbering)
Consultation hours:	Based on email agreement.
Research focus:	- Development of Educational Tools for Teaching Logic and Formal Methods. - Non-classical logics. - Proof assistants. - Theorem provers. - Type theory.
Publons URL (ResearcherID):	https://www.webofscience.com/wos/author/record/1921401

Publications registered in University Library

Projects:

Project name	Role
Zisťovanie predpínacích síl v mostoch z predpätého betónu	Participant
Moderné prístupy vo vzdelávaní IT odborníkov v oblasti Teórie typov	Principal Investigator
Evolving Architectural Knowledge in the Edge-to-Cloud Continuum	Participant

Teaching Activities

Lectures

Laboratory / Numerical exercises

Database Systems.
Logic for Informaticians.
User Interfaces and User Experience.
Type Theory.

Completed Research Projects

Modern Approaches and Tools for Teaching University Courses in Theoretical Computer Science, Logic, Type Theory, and Semantics

Funding: EEA and Norway Grants, FBR-PDI-025.
Period: 2023–2024.
Role: Principal Investigator.
Partner: University of Oslo, Norway.

An international bilateral research project focused on modernizing the teaching of theoretical computer science through interactive proof systems and innovative educational tools. One of the main outcomes of the collaboration was the development of OnlineProver.

European Research Network on Formal Proofs (EuroProofNet)

Programme: COST Action CA20111.
Period: 2021–2025.
Role: Slovak Representative on the Management Committee.

A European research network focused on the development of formal proof systems, their interoperability, and their applications in research, industry, and education.

Membership in Scientific and Professional Organizations

The Proof Society – Member of an international scientific society dedicated to proof theory and related areas of mathematical logic.
Association for Logic Programming (ALP) – Member of an international scientific association bringing together researchers in logic programming. Involved in the Prolog Education Group, an initiative focused on supporting and advancing logic programming education.
Slovak Society for Applied Cybernetics and Informatics (SSAKI) – Member of a professional society in the fields of cybernetics and informatics.

Conference Organization and Professional Activities

IEEE International Conference on Informatics (Informatics' 2015–2024) – Member of the Organizing Committee.
International Conference on Modelling, Control and Information Technologies (MCIT 2020–2021) – Member of the Program Committee.

Awards

Best Presentation in the IT Section – 4th Annual Student Scientific Conference SCYR 2019.

Search form