Program Overview

University Program Information

The provided context contains information about various university programs, including courses and research areas. Below is the extracted information in a structured markdown format.

Program Overview

The university offers a range of programs, including a Master Praktikum in Cryptography. This program explores the relationship between randomness and computation, covering three interconnected domains: modern cryptography, probabilistic proofs, and pseudorandomness.

Master Praktikum: Cryptography

The Master Praktikum in Cryptography provides participants with a comprehensive understanding of foundational principles and methodologies of cryptography. Students have the opportunity to engage in the development of cryptographic projects, using the concepts discussed in the lecture.

Courses

The university offers various courses, including:

• Formale Sprachen und Komplexitšt
• Logik und Diskrete Strukturen
• Theoretische Informatik fŁr Studierende der Medieninformatik
• Algebra and Computer Science
• Interactive Theorem Proving
• Theory and Security of Voting Systems
• Cryptography
• Automated Theorem Provers
• Programming in Prolog
• Scientific and Technical English for Computer Scientists
• Python fŁr Anfšnger
• Functional Pearls
• Softwareentwicklungspraktikum fŁr Informatik im Nebenfach
• Type Theory
• Mobile Application Development
• Formalization in Lean
• SAT Solving
• Satisfiability Modulo Theories

Research Areas

The university's research areas include:

• Aktuelle Projekte
• Cryptography
• Probabilistic proofs
• Pseudorandomness
• Theoretical computer science
• Software development
• Automated theorem proving
• Type theory
• Formalization in Lean
• SAT Solving
• Satisfiability Modulo Theories