Picture Postal Address:

Milka Hutagalung
FG Formale Methoden und Verifikation
FB Elektrotechnik / Informatik
Universität Kassel
D-34121 Kassel, Germany
Visiting Address, Phone, Email:

Room 1319
Wilhelmshöher Allee 73
Phone: (+49) (561) 804 - 6455
Email: email

I am a PhD student at the group of Formal Methods and Software Verification of the Department of Electrical Engineering and Computer Science of Universität Kassel. I am working under the supervision of Prof. Dr. Martin Lange.

Research Interests


List of the publications of the research group of Formal Methods and Software Verification.