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:	B528 (B514 by the old numbering)
Consultation hours:	Based on email agreement.
Research focus:	- Category theory. - Duality of (co)algebras. - Non-traditional logical systems. - Semantics of programming languages. - Type theory.
Publons URL (ResearcherID):	https://publons.com/researcher/3317738/jan-perhac/

Publications registered in University Library

Projects:

Project name	Role
European Research Network on Formal Proofs	Principal Investigator

Lectures:

Database systems.

Laboratory / Numerical exercises:

Database systems.
Logic for informaticians.
Semantics of computer languages.
Type theory.

Conferences:

Member of the program committee of the international scientific conference: IV International scientific and practical conference «Modeling, control and information technologies» - MCIT 2021.
Member of the program committee of the international scientific conference: IV International scientific and practical conference «Modeling, control and information technologies» - MCIT 2020.
Reviewer of doctoral conference papers: 20th Scientific Conference of Young Researchers - SCYR 2020.
Reviewer of papers of the international scientific conference: IEEE 13^th International Symposium on Applied Computational Intelligence and Informatics: SACI 2019.
Member of the organizing committee and reviewer of the papers of the international scientific conference: IEEE 15^th International Conference on Informatics: Informatics’ 2019.
Member of the organizing committee of the papers of the international scientific conference: IEEE 14^th International Conference on Informatics: Informatics' 2017.
Member of the organizing committee and reviewer of the papers of the international scientific conference: IEEE 13^th International Conference on Informatics: Informatics’ 2015.

Membership:

Member of the Slovak Society for Applied Cybernetics and Informatics (SSAKI) at KPI, FEI, TUKE.

Awards:

The best presentation of the doctoral conference SCYR 2019 to the IT section 4th year.