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:	- Non-traditional logical systems. - Semantics of programming languages. - Type theory.
Publons URL (ResearcherID):	https://www.webofscience.com/wos/author/record/1921401

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 2020-2021
Member of the organizing committee of the international scientific conference: IEEE International Conference on Informatics: Informatics’ 2015-2022.

Membership:

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

Awards:

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