Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
Universität Potsdam
PULS
Englisch
SoSe 2026
Böhne , Sebastian - Einzelansicht
Funktionen:
Seiteninhalt:
Grunddaten
Funktion
Dienstadresse
Gehört zu ...
Veranstaltungen
Grunddaten
Nachname
Böhne
Geschlecht
männlich
Vorname
Sebastian
Sprechzeit
Mittwoch, 12-14 Uhr
$lang.db_zul_bew_antizudtxt
Personalstatus
Lehrperson
Titel
Dr. rer. nat.
Bemerkung
Akad. Grad
Status
intern
Funktion
Einrichtung
Funktion
von
bis
Ergänzung
Institut für Informatik und Computational Science
Dozent(in)
Dienstadresse
PLZ
Telefon
03319773014
Ort
Fax
Straße
E-Mail-Adresse
sebastian.boehne@uni-potsdam.de
Dienstzimmer
Hyperlink
Gebäude
Sekretariat
Zuordnung zu Einrichtungen
Institut für Informatik und Computational Science
Veranstaltungen
Vst.-Nr.
Veranstaltungen
Semester
550421
Theoretische Informatik II: Effiziente Algorithmen
SoSe 2026
Beweisassistenten, Theorembeweiser und Formale Methoden
SoSe 2026
Cartesisches Seminar - Formale Spezifikationen
SoSe 2026
Mathematische Beweisführung im Beweisassistenten Rocq
SoSe 2026
Strukturbaum
Die Person wurde
1
mal gefunden:
Universität Potsdam
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
- - - 1
© Copyright HIS
Hochschul-Informations-System eG