短べんの履歴書

2000年10月から2005年03月まで	Undergraduate Studies in Computer Science	ドレスデンの大学
2003年10月から2005年03月まで	Graduate Studies in Computational Logic	ドレスデンの大学
2005年02月から	Graduate Studies in Mathematical Logic	アムステルダム大学
2007年07月から	Doctoral Studies in Computer Science	レスタ大学

履歴書

1999年05月	Graduation from Highschool (with specialization in Mathematics, Science, and Technology)	Werner Heisenberg高校,リーサ
1999年11月から2000年04月まで	Civil Service in Elfershausen, Germany
2000年05月から 2000年10月まで	Civil Service in Dresden, Germany	Youthhostel "Jugendgästehaus Dresden"
2000年10月から2005年03月まで	Undergraduate Studies in Computer Science	ドレスデンの大学
2003年03月から2005年03月まで	Programmer in research project SONIC	ドレスデンの大学
2005年03月	Bachelor of Science ( BSc ) in Computer Science	ドレスデンの大学
2003年10月から2005年03月まで	Graduate Studies in Computational Logic	ドレスデンの大学
2005年02月から2007年08月まで	Graduate Studies in Mathematical Logic	アムステルダム大学
2007年07月から	Graduate Teaching Assistant in Computer Science	レスタ大学
2007年07月から	Doctoral Studies in Computer Science	レスタ大学

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)

2008年09月-2008年11月 Institute for Logic, Language and Computation, アムステルダム,　ホランド

LAST_UPDATED2