Christian Uhrhan

Team Indexing & Retrieval

Conducting exercise courses and a lecture about interactive theorem proving at the chair of theoretical computer science and mathematical logic.

Conducting exercise courses for the course algorithm and theoretical computer science.

Part time job. Development of a software for a handheld to control industrial printers. Development of a desktop sharing software for presentation purposes.

Semantics of programming languages, Algorithms, Computability, Logic, Lattices and Orders

Ausbildung zum Fachinformatiker Fachrichtung Anwendungsentwicklung