Warning: Undefined array key "lang" in /www/www-wjp/system/lang.php on line 19
Institut für Rechnerarchitektur und Parallelrechner - Leute
Institut für Rechnerarchitektur
und Parallelrechner

Warning: Undefined variable $pubfilter in /www/www-wjp/includes/listeindividuum.php on line 130
Dr. Sebastian Bogan
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 306
Postfach 151150   Tel: +49 (0)681 302-4130
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: sebastian@wjpserver.cs.uni-saarland.de
 
 
Lebenslauf
1975 Geboren in Potsdam
1993 - 1994 Austauschschüler an der Kamloops Senior Secondary Highschool (Kanada)
1996 Abitur am Espengrund - Gymnasium Potsdam
1997 - 2003 Studium der Informatik an der Technischen Universität Berlin
2001 - 2002 Gaststudent an der Montana State University (USA)
2003 Diplom in Informatik
2003 - 2008 Promotion an der Universität des Saarlandes
 
Forschungsinteressen
logische Programmiersprachen
Betriebssysteme
 
Private Homepage
http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=77
 
Publikationen

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
Alkassar, E. and Bogan, S. and Paul, W.   EE BibTeX
Proving the Correctness of Client/Server Software.
In Sadhana Journal,
pages 145-192, Springer, 2009.
 
Daum, Matthias and Dörrenbächer, Jan and Bogan, Sebastian EE BibTeX
Model Stack for the Pervasive Verification of a Microkernel-based Operating System.
In Beckert, Bernhard and Klein, Gerwin, editors, 5th International Verification Workshop (VERIFY'08),
volume 372 of CEUR Workshop Proceedings, pages 56-70, CEUR-WS.org, 2008.
 
Bogan, Sebastian   BibTeX
Formal Specification of a Simple Operating System.
Dissertation, Saarland University, Saarbrücken, 2008.
 
Bogan, Sebastian   BibTeX
Entwicklung eines Compilers für eine Prolog-Erweiterung zur Programmierung paralleler Algorithmen.
Diplomarbeit, , 2003.