Ilham Kurnia, M.Sc.

Foto von Ilham Kurnia, M.Sc.
E-Mail-Adresse ilham at cs .... uni-kl .... de
Telefon +49 - 631 - 205 - 26 38
Fax +49 - 631 - 205 - 34 20
Postanschrift TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Besucheradresse Gebäude 32, Raum 430
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
 

Hi there! Welcome to my official University of Kaiserslautern homepage.

Interests

  • Specification of object-oriented programs
  • Model checking
  • Automata theory
  • Visualization
  • Programming contests (I’ve taken part, among others, in GCJ, Topcoder, IPSC, ICPC, and IOI.)

Publications

Other Publications

Talks

And some miscellaneous stuff that reflects my annoyance on a certain topic:

Teaching