Number of results: 38

Results of 8 selected fields/plans of study
Faculty
Faculty of Informatics
Field of Study/plan
FI - Computer Science: Computing Technology and Methodology FI - Computer Science: Fundamentals of Computer Science
include only defended theses

Lauko, Henrich

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2024

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Abstraction via Program Transformation

Macák, Martin

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2024

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: A Process Mining Framework for Insider Attack Detection

Medveď, Marek

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2023

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Automatic question answering for flective languages

Němec, Lukáš

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Introducing key extraction to secrecy amplification protocols for ad-hoc networks

Novotný, Vít

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: Interpretable Representations for Fast and Accurate Retrieval of Mathematical Information

Olliaro, Martina

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2021

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: String Analysis for Software Verification

Pačínková, Anna

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2023

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: Computational Methods for Multimodal Omics Data Analysis

Pastva, Samuel

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems

Raček, Tomáš

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Empirical methods for calculating partial atomic charges

Sedláček, Vladimír

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: On cryptographic weaknesses related to elliptic curves

Spurný, Josef

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2021

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Analyzing Cooperation in Organizations through the Agent-Based Modeling Approach

Střelák, David

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Acceleration of image processing algorithms for single particle analysis by electron microscopy

Špaček, Stanislav

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2024

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Improving Cyber Situational Awareness through Event-Flow Correlation

Švábenský, Valdemar

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Automated Feedback for Cybersecurity Training

Troják, Matej

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2023

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: Rule-based Modelling of Biochemical Processes: Specification and Analysis

Ukrop, Martin

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Two Cases of Human-Centered Computer Science: Usable Developer Interaction with TLS Certificates and Effective Teaching Assistant Training

Velan, Dominik

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2022

Programme: Computer Science
Study plan: Fundamentals of Computer Science
Doctoral theses, Dissertations: Termination Time of Vector Addition Systems with States

Wiesner, David

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2024

Programme: Computer Science
Study plan: Computing Technology and Methodology
Doctoral theses, Dissertations: Learning-Based Cell Image Synthesis in Biomedical Imaging