|
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, ADUIm, II. degree
|
|
Cryptographic protocols - Im, AIm, II. degree
|
|
Modelling and analysis of security protocols - Id, AId, 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 - Jozef Jirásek, Galina Jirásková, Jeffrey Shallit: State Complexity of the Minimal Star Basis In: Fazekas, S., Z. (Ed.): 28th International Conference on Implementation and Application of Automata, CIAA 2024, Akita, Japan, Lecture Notes in Computer Science vol. 15015, Springer, 2024, ISSN 0302-9743, ISBN 978-303171111-4, DOI: 10.1007/978-3-031-71112-1_14, pp. 195–207. |
|
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. |
|
AEC - 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. |
|
Selected projects
|
|
VEGA 1/0350/22 2022 – 2024 Computational assessment of plasticity in spatial hearing |
|
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 |
|
International mobilities and visits
|
|
RWTH Aachen, Aachen, DE, 2003, one week lecture stay, Socrates/Erasmus
|
|
Université Paris-Est Marne-la- Vallée, Paris, FR, 2005, one week lecture stay, Socrates/Erasmus
|
|
Universiteit Utrecht, Utrecht, NL, 2007, 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
|
|
Universidad de Málaga, Málaga, SP, 2009, one week lecture stay, Erasmus
|
|
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, MA, US, 26. 7. - 8. 9. 2019, working stay, project ALT, EU Horizon 2020 MSCA-RISE-2015
|
|
Santa Clara University, Santa Clara, CA, US, 24. 6. - 29. 6. 2024, working stay
|
|
Organisational activities
|
|
member of the academic senate PF UPJŠ - Faculty of Science, UPJŠ in Košice, 2007 - 2023
|
