|
Email:
|
jozef.jirasek@upjs.sk | |
|
Homepage:
|
https://www.upjs.sk/PF/zamestnanec/jozef.jirasek | |
|
Faculty:
|
PF UPJŠ
-
Pavol Jozef Šafárik University in Košice, Faculty of Science
|
|
|
Department:
|
ÚINF
-
Institute of Computer Science
|
|
|
Office:
|
SJ0O20 | |
|
Phone:
|
+421 55 234 2436 | |
|
ORCID ID:
|
0000-0003-4822-230X |
|
Overview of the responsibility for
the delivery, development and quality assurance of the study programme or its part
at the university in the current academic year
|
|
Study programme: AIb - Applied informatics (OZŠP, RŠP), study field: computer science, I. degree
|
|
Profile courses
|
|
Cryptographic systems and their applications - Ib, AIb, FIb, MIb, NjInfb, CHIb, GIb, BIb, BASInfb, SjInfb, I. degree
|
|
Parallel and distributed systems - Im, Im3, ADUIm, II. degree
|
|
Computer network security - Im, Im3, EFMm, AIb, I., II. degree
|
|
Cryptographic protocols - Im, Im3, EFMb, AIb, I., II. degree
|
|
Modelling and analysis of security protocols - Id, III. degree
|
|
Overview of the responsibility for
the development and quality of the field of habilitation procedure and inaugural procedure
in the current academic year
|
|
Name of the field of habilitation procedure and inaugural procedure:
computer science, study field to which it is assigned: 18. Computer science
|
|
Selected publications
|
|
AEC - Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Šebej: Operational Complexity: NFA-to-DFA Trade-Off. In: Bordihn, H., Tran, N., Vaszil, G. (eds) Descriptional Complexity of Formal Systems. DCFS 2023. Lecture Notes in Computer Science, vol. 13918. Springer, Cham, 2023, ISSN 0302-9743, ISBN 978-3-031-34325-4, DOI: 10.1007/978-3-031-34326-1_6, pp. 79-93. |
|
AEC - Jozef Jirásek, Galina Jirásková: Multiple Concatenation and State Complexity (Extended Abstract), In: Jirásková, G., Pighizzini, G. (Eds.): Descriptional Complexity of Formal Systems, DCFS 2020, Vienna, Austria, Lecture Notes in Computer Science, vol. 12442, Springer, Cham, 2020, ISSN 0302-9743, ISBN 978-3-030-62535-1, pp. 78-90. |
|
ADC - Jozef Jirásek, Galina Jirásková: The Exact Complexity of Star-Complement-Star, In: Campeanu, C. (Ed.): 23rd International Conference on Implementation and Application of Automata, CIAA 2018, Charlottetown, Canada, Lecture Notes Comput. Sci. vol. 10977, Springer Verlag, 2018, ISSN 0302-9743, ISBN 978-331994811-9, pp. 223-235. |
|
ADC - Jozef Jirásek, Galina Jirásková, Monika Krausová, Peter Mlynárčik, Juraj Šebej: Prefix-Free Languages: Left and Right Quotient and Reversal, In: Theoretical Computer Science. - ISSN 0304-3975. - Vol. 610 (2016) pp. 78-90. |
|
ADC - Jozef Jirásek, Galina Jirásková: On the boundary of regular languages. In: Theoretical Computer Science. - ISSN 0304-3975.- Vol. 578 (2015), pp. 42-57. |
|
Selected projects
|
|
VEGA 1/0177/21 2021 - 2023 Descriptive and computational complexity of automata and algorithms, grant team member |
|
VEGA 1/0056/18 2018 - 2020 Descriptive and computational complexity of automata and algorithms, grant team member |
|
APVV-15-0091 2015 - 2019 Effective algorithms, automata, and data structures, grant team member |
|
OPLZ-PO1/2016/NP/1.1.1/1.3.1-03 ITMS 312011F057 2016-2020 IT Academy - education for the 21st century |
|
VEGA 1/0073/15 2015- 2017 Scalable computing methods of structured and unstructured data analysis with uncertainty, grant team member |
|
International mobilities and visits
|
|
RWTH Aachen, Aachen, DE, 2003, one week lecture stay, Socrates/Erasmus
|
|
Katedra teoretické informatiky a matematické logiky, MFF UK Praha, Prague, CZ, WS 2007, semester lecture Modeling and analysis of cryptographic protocols, work contract
|
|
University of Portsmouth, Portsmouth, UK, 2011, one week lecture stay, Erasmus
|
|
Universidad de Cadiz, Cadiz, ES, 2013, one week lecture stay, Erasmus
|
|
Arrhenius Laboratory, Stockholm University, Stockholm, SE, 21. - 31. 5. 2016, working stay, project CELIM, EU FP7 REGPOT
|
|
Hearing Research Center BU, Martinos Center for Biomedical Imaging MGH, Boston, US, 26. 7. - 8. 9. 2019, working stay, project ALT, EU Horizon 2020 MSCA-RISE-2015
|
|
Organisational activities
|
|
member of the academic senate PF UPJŠ - Faculty of Science, UPJŠ in Košice, 2007 - 2023
|
