Department of Theoretical Computer Science

Members of the department are mainly active in three interlinked foundational disciplines of theoretical computer science: mathematical logic, computational complexity, discrete mathematics. Our vision is to utilize frontier foundational research to broaden the repertoire of approaches that are considered standard in our respective areas. Our particular aims are:

Logic: developing and applying non-classical logics for reasoning, in both natural and artificial scenarios, with real-life information, which is often uncertain, graded, or even contradictory and changing in time.

Computational complexity: deepening our knowledge of relations between complexity classes and our understanding of standard and non-standard computational models considering new complexity measures related to current technological challenges.

Discrete mathematics: exploring extremal graph theory and applied number theory and using the achieved results in cryptography, theory of computing, and the study of randomness.

Our research areas

Logic: Mathematical Fuzzy Logic, Substructural Logics, Vagueness, Paraconsistent Logic, Logic and Reasoning, Graded notions, Dynamic and Non-Monotonic Logic, Modal Logic, Abstract Algebraic Logic, Complexity of Non-Classical Logics.

Computational complexity: Branching Programs, Neural Networks, Boolean Functions, SAT Problem Preprocessing, Logical Descriptions of Computation, Non-Standard Positional Numeral Systems.

Discrete mathematics: Extremal Graph Theory, Regularity Method, Probabilistic Method, Limits of Graphs, Random Graphs, Computational geometry, Combinatorial and Algebraic Methods in Number Theory, Uniform Distribution of Numerical Sequences, Cryptology.

Work groups and their seminars

Combinatorial group: a group dedicated to study of extremal graph theory and computational geometry. Together with group Graph limits and inhomogeneous random graphs from the Institute of Mathematics of the Czech Academy of Sciences we organize a graph theory seminar with emphasis mainly on extremal graph theory

LogICS: a group dedicated to study of (non-classical logics). Together with Czech Society for Cybernetics and Informatics we organize a seminar on applied mathematical logic (also called Hájek’s seminar according to its founder) which regularly takes place since the late 1960’s.

Recent projects (here)

  • FoNeCo: Analytical Foundations of Neurocomputing (2019-2021; GAČR)
  • National Competence Center – Cybernetics and Artificial Intelligence (2019-2021; GAČR)
  • Boolean Representation Languages Complete for Unit Propagation (2019-2021; GAČR)
  • Structural properties of visibility in terrains and farthest color Voronoi diagrams (2019-2021; GAČR)
  • Enhancing human resources for research in theoretical computer science (2018-2020; MŠMT)
  • Non-classical Logical Models of Information Dynamics (2018-2020; GAČR)
  • Reasoning with Graded Properties (2018-2020; GAČR)
  • CONNECT – Combinatorics of Networks and Computation (2017-2020; H2020 MSCA RISE)
  • Predicate graded logics and their applications to computer science 2017-2019; GAČR)
  • SYSMICS: Syntax meets semantics: Methods, interactions, and connections in substructural logics (2016-2019; GAČR)
  • Extremal graph theory and applications (2016-2018; GAČR)
  • Modelling vague quantifiers in mathematical fuzzy logic (2015-2017; GAČR)
  • An Order-Based Approach to Non-Classical Propositional and Predicate Logics (2013-2016; GAČR)
  • Center of Excellence – Institute for Theoretical Computer Science (2012-2018; GAČR)
  • Distribution and metric properties of number sequences and their applications (2012-2015; GAČR)
  • Algebraic Methods in Proof Theory (2011-2015; GAČR)

 Selected publications

Organized events

 

Department members

Secretarial support