Navigation auf uzh.ch

Suche

Department of Informatics Data Systems and Theory

dast-logo

Mission

The DaST group teaches foundational aspects of Computer Science and in particular Data Science and researches the theory and systems for data processing.

Research Highlights

Teaching Highlights

  • The Foundations of Data Science course is a blend of mathematics and programming that underpin the classical supervised and unsupervised learning methods and models.
  • The Foundations of Computing II course covers discrete math and formal methods underlying the foundation of computing: proof methods, formal languages, deterministic and nondeterministic finite automata, grammars and pushdown automata, Turing machines, computability, decidability and complexity, P and NP, NP-completeness.
  • The Efficient Algorithms course gives a unifying overview of the latest research in efficient computation over structured data, with applications spanning databases, artificial intelligence and machine learning, algorithms and theoretical computer science, and linear algebra.

Join us

Research positions (both PhD and postdoctoral) available in our research group! If you are intrigued by the kind of research we do, please consider applying. [ More Information ]