Abschlussarbeiten
WS 24/25
Einführung in die Programmierung
Functional Programming
Proseminar: Real World OCaml
Oberseminar Programmierung
SS 24
Compiler Construction
Concurrency
Proseminar: Real World OCaml
Oberseminar Programmierung
WS 23/24
Einführung in die Programmierung
Essentials of Programming Languages
Seminar: TBA
Oberseminar Programmierung
SS 23
Seminar: Programming Languages Foundations
WS 22/23
Einführung in die Programmierung
Functional Programming
Seminar: Programming Languages Foundations
Oberseminar Programmierung
SS 2022
Essentials of Programming Languages
Proseminar: Real World OCaml
Oberseminar Programmierung
WS 21/22
Einführung in die Programmierung
Compiler Construction
Seminar: Blockchain Technology
Oberseminar Programmierung
SS 2021
Programmieren in C
Functional Programming
Blockchain and Cryptocurrencies
Proseminar: Real World OCaml
Oberseminar Programmierung
WS 20/21
Einführung in die Programmierung
Essentials of Programming Languages
Seminar: Blockchain Technology
Proseminar: Real World OCaml
Oberseminar Programmierung
SS 2020
Essentials of Programming Languages
Blockchain and Cryptocurrencies
Oberseminar Programmierung
WS 19/20
Einführung in die Programmierung
Seminar: Types
Proseminar: Grundlagen der Blockchain Technologie
SS 2019
Programmieren in C
Functional Programming
Seminar: Blockchain, Consensus, Smart Contracts, and Security
Proseminar: Grundlagen der Blockchain Technologie
WS 18/19
Einführung in die Programmierung
Energy Informatics
Seminar: Types
Proseminar: Theoretische Informatik
SS 2018
Konzepte von Programmiersprachen / Essentials of Programming Languages
Seminar: Blockchain and Cryptocurrencies
Proseminar: Theoretische Informatik
WS 17/18
Funktionale Programmierung
Seminar: Programmierkonzepte für Sicherheit
Proseminar: Theoretische Informatik
Android Smartphone Programming
SS 2017
Programmieren in Java
Seminar: Grundlagen von Programmiersprachen
WS 16/17
Compiler Construction
Informatik III: Theoretische Informatik
Oberseminar
WS 15/16
Android Smartphone Programming
Advanced Android Smartphone Programming
Informatik III: Theoretische Informatik
Seminar: Principles of Programming Languages
SS 2015
Essentials of Programming Languages
Programmieren in Java
Lab Course: The Coq Proof Assistant
WS 14/15
Android Smartphone Programming
Advanced Android Smartphone Programming
Concurrency
Seminar: Software Foundations
SS 2014
Static Program Analysis
Types and Programming Languages
Lab Course: The Coq Proof Assistant
Softwaretechnik
WS 13/14
Funktionale Programmierung
Cyber Physical Systems - Discrete Models
Android Smartphone Programming
Oberseminar
SS 2013
Softwaretechnik
Programmieren in Java
Oberseminar
WS 12/13
Compiler Construction
Introduction to Android Smartphone Programming
Masterpraktikum Software Foundations
Oberseminar
Graphentheorie
SS 2012
Softwaretechnik
Essentials of Programming Languages
Oberseminar
SS 2011
Programmieren in Java
Softwaretechnik
Proseminar: Programmiersprachen, die jeder kennen sollte
Oberseminar
WS 10/11
Compiler Construction
Concurrency
Oberseminar
SS 2010
Programmieren in Java
Programmanalyse
Seminar: Language-based security
Oberseminar
WS 09/10
Informatik I
Compilerbau
Oberseminar
SS 2009
Softwaretechnik
Konzepte von Programmiersprachen
Programmierzertifikat Objekt-Orientierung mit Java
Oberseminar
WS 08/09
Informatik I
Funktionale Programmierung mit Haskell
Type Systems
Webprogrammierung mit Template-Genie
Webprogrammierung und Teammanagment
Oberseminar
SS 2008
Softwaretechnik
Programmierzertifikat Objekt-Orientierung mit Java
Oberseminar
WS 07/08
Informatik I
Proseminar
Projekt
Oberseminar
WS 06/07
Compilerbau
Praktikum Compilerbau
Seminar
Oberseminar
SS 06
Internetprogrammierung
Model Driven Architecture (V)
Model Driven Architecture (P)
Oberseminar
Weitere Semester
WS 05/06
MDA Praktikum
J2EE Praktikum
Softwarepraktikum
Proseminar
Oberseminar
SS 05
Internetprogrammierung
Programmanalyse
Oberseminar
Veranstaltungen Ralf Hinze
Software Engineering
Seminar
Softwarepraktikum
WS 04/05
Compilerbau
Praktikum Compilerbau
Seminar Webprogrammierung
Allgemeines
Termine
Themen
Tipps
Softwarepraktikum
Allgemeines
Eihne
Slides
Weitere Informationen
Marvel
Slides
Übungen
Oberseminar
SS 2004
Software Engineering
Software Praktikum
Oberseminar
Ältere Semester
Progλang
Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Technische Fakultät
Home
Personal
Lehre
Forschung
Veranstaltungen
Stellen