Email:
|
stanislav.krajci@upjs.sk | |
Homepage:
|
ics.upjs.sk/~krajci/skola/index.html | |
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-0001-5612-3534 |
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: I-Xb - Informatics - X, study field: Informatics in combination (interdisciplinary study), 1st degree
|
Study programme: I-Xm - Informatics - X, study field: Informatics in combination (teaching academic subjects), 2nd degree
|
Study programme: Im - Computer Science, study field: Computer Science, 2nd degree
|
Study programme: Ib - Computer Science, study field: Computer Science, 1st degree
|
Study programme: ADUIm - Data Analysis and Artificial Intelligence, study field: Mathematics - Informatics, 2nd degree
|
Study programme: Id - Computer Science, study field: Computer Science, 3rd degree
|
Profile courses
|
Mathematical foundations of computer science - ADUIb - Data analysis and Artificial intelligence, 1st degree
|
Symbolic logic - I-Xb interdisciplinary study of Informatics, 1st degree
|
Information theory, coding - Im - Computer Science, 2nd degree
|
Computability theory - Ib - Informatika, 1st degree
|
Logical aspects of databases - Im - Computer Science, 2nd 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: Computer Science
|
Selected publications
|
(A) Antoni, Ľ., Eliaš, P., Krajči, S., Krídlo, O.: Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets, Fuzzy Sets and Systems, 2022, 451, pp. 361–384 |
(A) Sokol, P., Antoni, Ľ., Krídlo, O., Marková E., Kováčová, K., Krajči, S.: Formal concept analysis approach to understand digital evidence relationships, International Journal of Approximate Reasoning, 2023, 159, 108940 |
(A) Krídlo, O., Antoni, Krajči, S.: Selection of appropriate bonds between L-fuzzy formal contexts for recommendation tasks, Information Sciences, 2022, 606, pp. 21–37 |
(A) Krídlo, O., López-Rodríguez, D., Antoni, L., Eliaš, P., Krajči, S., Ojeda-Aciego, M.: Connecting concept lattices with bonds induced by external information, Information Sciences, 2023, 648, 119498 |
(A) Antoni, Ľ., Eliaš, P., Guniš, J., Kotlárová, D., Krajči, S., Krídlo, O., Sokol, P., Šnajder, Ľ.: Bimorphisms and attribute implications in heterogeneous formal contexts, International Journal of Approximate Reasoning, 2024, 172, 109245 |
Selected projects
|
VEGA 1/0073/15, Scalable computing methods of structured and unstructured data analysis with uncertainty, doc. Krajči, 1. 1. 2015 – 31. 12. 2017, principal investigator |
APVV-15-0091, Efficient Algorithms, Automata and Data Structures, prof. Geffert, 1. 7. 2016 – 30. 6. 2020, investigator |
National project IT Academy - Education for the 21st Century, ITMS kód: 312011F057, 2016 – 2021, investigator |
VEGA 1/0645/22, Proposal of novel methods in formal concept analysis and their applications, doc. Krídlo, 1. 1. 2022 – 31. 12. 2024, investigator |
KEGA 012UPJŠ-4/2021, Development of a digital library of interdisciplinary STEAM projects and its implementation in informatics, mathematics and science education at upper secondary schools, doc. Šnajder, 2021 – 2023, investigator |
Projects
|
|
Other
|