Lebenslauf
Donnerstag, 10. Juli 2008 um 11:32
View Comments

Auf dieser Seite finden sie eine verkuerzte Fassung meines Lebenslaufs. Einen ausfuehrlichen sende ich gern auf Anfrage zu, auch in anderen Formaten. Dafuer schreiben Sie mir bitte an email(at)christiankissig.de.

Zusammenfassung

2005/03 Bakkelaureat in der Informatik
 Technische Universitaet Dresden
2007/08 Diplom in mathematischer Logik (MSc in Logic and Mathematics)
 Universitaet von Amsterdam
Seit 2007/07 Doctoral Studies in Computer Science Universitaet von Leicester

Bildungsweg

1999/05 Abitur mit Spezialisierung in Mathematik und Naturwissenschaften Werner Heisenberg Gymnasium, Riesa
Von 2000/10 bis 2005/03
Bakkelaureatsstudium in der Informatik
 Technische Universitaet Dresden
2005/03
Bakkelaureat (BSc) in der Informatik
 Techische Universitaet Dresden
Von 2003/10 bis 2005/03 Diplomstudium in der berechenbaren Logik
 Technische Universitaet Dresden
Von 2005/02 bis 2007/08 Diplomstudium in der mathematischen Logik
 Universitaet von Amsterdam
2007/08 Diplom in mathematischer Logik (MSc in Logic and Mathematics) Universitaet von Amsterdam
Seit 2007/07 Doktorstudium in der Informatik
 Universitaet von Leicester

Berufserfahrung

Von 1999/11 bis 2000/04 Zivildienst im Fachpflegeheim Landsitz Elfershausen
 Landsitz Elfershausen
Von 2000/05 bis 2000/10 Zivildienst im Jugendgaestehaus in Dresden
 Youthhostel "Jugendgästehaus Dresden"
Von 2000/11 bis 2003/02 Freiberuflicher Programmierer, Webdesigner, und Tutor
Von 2003/03 bis 2005/03 Programmierer im Projekt SONIC Technische Universitaet Dresden
Seit 2007/07
Lehrassistent in der Informatik
 Universitaet von Leicester
2009/08 Freiberuflicher Berater in Statistik und mathematischer Modellierung

Forschung

Eine Liste meiner wissenschaftlichen Interesssen finden Sie auf meiner Homepage.

Veroeffentlichungen

  • 2009 C Kissig, Y Venema: Complementation of Coalgebra Automata, in Proceedings of CALCO'09
  • 2007 C Kissig: Decidability of S2S, in MoL Series
  • 2004 A-Y Turhan, C Kissig: SONIC-Non-standard inferences go OilEd, in Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04)
  • 2004 A-Y Turhan, C Kissig: SONIC : System Description, in Proceedings of the 2004 International Workshop on Description Logics (DL2004)

Eine Liste meiner Publikationen und Vortraege finden Sie auf meiner Homepage.

Wissenschaftliche Besuche

  • Von 09/2008 bis 11/2008 Institute for Logic, Language and Computation, Amsterdam, Niederlande

Akademische Gesellschaften

  • American Mathematical Society
  • Association for Symbolic Logic
  • De Nederlandse Vereniging voor Logica en Wijsbegehrte der Exacte Wetenschappen (Niederlaendische Vereinigung fuer Logiker und Wissenschaftler der exakten Wissenschaften)

Andere Akademische Aktivitaeten

  • 2007 Koorganisator der TANCL Konferenz an der Universitaet von Oxford
  • Seit 2007 Organisator eines Europa- und Grossbritannien-weiten wissenschaftlichen Seminars fuer PhD Studenten an der Universitaet von Leicester
  • Gutachter fuer CMCS, Forte, GT-VMT, MFPS

Faehigkeiten

Sprachen

Deutsch Muttersprache
Englisch Fluessig CAE
Japanisch Anfaenger
Niederlaendisch Dialogfaehig
Italienisch Anfaenger

Programmierung und Software-Technologien

  • Java, C/C++, C#, Python, Ruby
  • Haskell, OCaml, Lisp, Agda, Prolog
  • PHP, Perl, Shell Scripting
  • XML, XSLT, XPath, XQuery, HTML
  • Latex, Bibtex
blog comments powered by Disqus
back to top
LAST_UPDATED2