Dr. Ina Schaefer

"Übersetzer und sprachverarbeitende Werkzeuge"

In der Vorlesung "Übersetzer und sprachverarbeitende Werkzeuge" sollen die Studenten Kenntnisse und Fähigkeiten zur ingenieurmäßigen Konstruktion von Übersetzern und sprachverarbeitenden Werkzeugen erwerben, sowie ihre Kenntnisse über höhere Programmiersprachen und maschinennahe Sprachen vertiefen.

Werdegang: Ina Schaefer hat in Rostock, Saarbrücken und Oxford Informatik studiert. Nach 2 Jahren als wissenschaftliche Mitarbeitern am Max-Planck-Institut für Informatik, Saarbrücken, ist sie seit Januar 2006 wissenschaftliche Mitarbeiterin in der AG Softwaretechnik und hat im Oktober 2008 über die Integration von formaler Verifikation in Softwareentwicklungsprozesse promoviert.