Computer Science and Numerical Analysis

Name

Rank

Research Interests

Rank

Research Personnel

Research Interests

Rank

Professor

Research Interests

  • Algebraic-polynomial methods for the analysis, synthesis and design of automated control systems
  • Computer Aided Design of Control System
  • Feedback Control Systems
  • Mathematical System Theory
  • Matrix Theory
  • Symbolic Programming Languages

Rank

Assistant Professor

Research Interests

  • Numerical analysis, computational mathematics, large scale computations and scientific computing
  • Dynamical systems related to optimal control with PDE constraints and applications
  • Model order reduction
  • Finite element methods, embedded/immersed boundary finite element methods
  • Uncertainty quantification, PDE models with uncertainty
  • Mathematical biology and chemistry, Computational biomechanics
  • Computational fluid dynamics

Rank

Professor

Research Interests

  • Automatic theory
  • Logic
  • Qualitative and Quantitative Certification of Software and Hardware Architectures
  • DNA Computation
  • Computational Disease Models

Rank

Research Personnel

Research Interests

Quantum Computing:

  • Quantum Information Processing, Quantum Networking,
  • Resource Theories for Nonlocality, Entanglement and Contextuality

Web of Data (aka Semantic Web), Linked Open Data, RDF, Timed RDF

Computer (classical) Networks and Internetworking, Telecommunications

NEWS & ANNOUNCEMENTS

Numerical solutions to (S)PDEs with complex geometries

[07/04/2025] HART Seminar – Leonid Positselski (Czech Academy of Sciences), Derived categories of the second kind and Koszul duality