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:	- 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
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
Application of new principles in the education of IT specialists in the field of formal languages and compilers	Participant
Evolving Architectural Knowledge in the Edge-to-Cloud Continuum	Participant
European Research Network on Formal Proofs	Principal Investigator

Lectures:

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-2024.

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.