Program Overview

University Program Information

The university offers a variety of programs and courses in different fields, including computer science and mathematics.

##Courses

• Formal languages and complexity
• Logic and discrete structures
• Theoretical computer science for students of media informatics
• Algebra and Computer Science
• Interactive Theorem Proving
• Theory and Security of Voting Systems -Cryptography
• Automated Theorem Provers
• Programming in Prologue
• Scientific and Technical English for Computer Scientists
• Python for beginners
• Functional pearls
• Software development internship for computer science as a minor -Type theory
• Mobile application development
• Formalization in Lean
• SAT Solving
• Satisfiability Modulo Theories

Course Details

Python for beginners (Winter 2024/25)

• Instructor: Massin Guerdi
• Scope: Course, 2 hours.
• Content: The course conveys the basics of object-oriented programming with Python in a compact and practical manner and is intended as a supplement to the lecture Introduction to Computer Science (minor subject).
• Time and place: Wed. 6 p.m. - 8 p.m., Oettingenstr. 67, room B 001
• The first appointment will take place in the second week of lectures, on October 23rd, 2024.

Research Areas

The university's research areas include:

• Current projects
• Theoretical computer science
• Logic and discrete structures
• Algebra and Computer Science -Cryptography
• Automated Theorem Provers

Faculty Members

The university's faculty members include:

• Jasmine Blanchette -Martin Hofmann
• Patricia Dewhirst -Daniel Schmidt -Jan Johannsen -Kenji Maillard
• Martin Desharnais-Schäfer -Michael Kirsten -Yiming Xu -Tanguy Bozec -Xavier Genereux
• Alexandra Graß
• Massin Guerdi
• Lydia Kondylidou
• Elisabeth Lempa
• Jannis Limperg
• Luca Maio
• Balazs Toth