|
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 | |
|
Faculty:
|
PF UPJŠ
-
Pavol Jozef Šafárik University in Košice, Faculty of Science
|
|
|
Department:
|
ÚINF
-
Institute of Computer Science
|
|
|
Office:
|
||
|
Phone:
|
||
|
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, L., Krajči, S., Krídlo, O.: Representation of fuzzy subsets by Galois connections, 2017, Fuzzy Sets and Systems 326, pp. 52-68 |
|
(A) Krídlo, O., Krajči, S., Antoni, L.: Formal concept analysis of higher order, 2016, International Journal of General Systems 45(2), pp. 116-134 |
|
(A) Antoni, L., Krajči, S., Krídlo, O.: Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges, 2016, Fuzzy Sets and Systems 303, pp. 21-37 |
|
(A) Antoni, L., Krajči, S., Krídlo, O.: On stability of fuzzy formal concepts over randomized one-sided formal context, 2018, Fuzzy Sets and Systems 333, pp. 36-53 |
|
(A) Antoni, L., Cabrera, I.P., Krajči, S., Krídlo, O., Ojeda-Aciego, M.: The Chu construction and generalized formal concept analysis, 2017, International Journal of General Systems 46(5), pp. 458-474 |
|
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
|
