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

Short CV

from 2000/10 to 2005/03
Undergraduate Studies 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
Graduate Studies in Mathematical Logic
 University of Amsterdam
from 2007/07
Doctoral Studies in Computer Science
 University of Leicester

Curriculum Vitae

1999/05
Graduation from Highschool (with specialization in Mathematics, Science, and Technology)
 Werner Heisenberg Grammar School, Riesa
from 1999/11 to 2000/04
Civil Service in Elfershausen, Germany
from 2000/05 to 2000/10
Civil Service in Dresden, Germany
 Youthhostel "Jugendgästehaus Dresden"
from 2000/10 to 2005/03
Undergraduate Studies in Computer Science
 Dresden University of Technologies
from 2003/03 to 2005/03
Programmer in research project SONIC
 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 2007/07
Graduate Teaching Assistant in Computer Science
 University of Leicester
from 2007/07
Doctoral Studies in Computer Science
 University of Leicester

 

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)

Invited Research Visits

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

Other Academic Activities

  • Co-organizer of TANCL(Oxford, 2007)
  • Reviewer for CMCS, Forte, GT-VMT, MFPS

Languages

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

Programming

I have taught Java, C++, PHP, Haskell and Prolog at Leicester. During my participation in the SONIC project, I has used  Java, Lisp, and Shell-Scripting. Other languages I know out of private interest include C#, Perl and OCaml.

blog comments powered by Disqus
back to top
Last Updated on Friday, 05 March 2010 18:27