Curriculum Vitae
Thursday, 10 July 2008 11:32
View Comments

This page contains an abridged version of my curriculum vitae, only. I am happy to provide a full document in other formats upon request to email(at)christiankissig.de.

Short CV

2005/03 Bachelor of Science (BSc) in Computer Science
 Dresden University of Technologies
2007/08
 Master of Science (MSc) in Logic and Mathematics
 University of Amsterdam
Since 2007/07 Doctoral Studies in Computer Science University of Leicester

Education

1999/05 Graduation from Highschool (with specialization in Mathematics, Science, and Technology) Werner Heisenberg Grammar School, Riesa
From 2000/10 to 2005/03
Undergraduate Studies in Computer Science
 Dresden University of Technologies
2005/03
Bachelor of Science (BSc) in Computer Science
 Dresden University of Technologies
From 2003/10 to 2005/03 Graduate Studies in Computational Logic Dresden University of Technologies
From 2005/02 to 2007/08

Graduate Studies in Mathematical Logic

 University of Amsterdam
From 2005/02 to 2007/08

Master of Science (MSc) in Logic and Mathematics

 University of Amsterdam
Since 2007/07 Doctoral Studies in Computer Science University of Leicester

Work Experience

From 1999/11 to 2000/04 Civilian Service in Elfershausen, Germany Landsitz Elfershausen
From 2000/05 to 2000/10 Civilian Service in Dresden, Germany Youthhostel "Jugendgästehaus Dresden"
From 2000/11 to 2003/02 Freelance Programmer, Webdesigner, and Tutor
From 2003/03 to 2005/03 Programmer in research project SONIC Dresden University of Technologies
From 2007/07 to 2010/10
Graduate Teaching Assistant in Computer Science
 University of Leicester
2009/08 Freelance Consultant in Mathematical Modelling and Statistics
Since 2009/08 Software Developent Engineer, Contractor to Bing, Microsoft Search Technology Center Europe, London

Research

An account of my Research Interests is available on my website.

Publications

  • 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)

A list of my Publications and my Talks is available on my website.

Invited Research Visits

  • From 09/2008 to 11/2008 Institute for Logic, Language and Computation, Amsterdam, The Netherlands

Academic Societies

  • American Mathematical Society
  • Association for Symbolic Logic
  • De Nederlandse Vereniging voor Logica en Wijsbegehrte der Exacte Wetenschappen (Dutch Society of Logicians and Scientists in the Exact Sciences)

Other Academic Activities

  • 2007 Co-organizer of TANCL, University of Oxford
  • 2007-2010 Organizer of a Europe/UK-wide Research Seminar at Leicester, United Kingdom
  • Reviewer for CMCS, Forte, GT-VMT, MFPS, WWW

Skills

Languages

German Native
English Near Native CAE
Japanese Beginner
Dutch Conversational
Italian Beginner

Programming and Software Technologies

  • 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 Updated on Thursday, 23 December 2010 12:37