Lilit Hakobyan, Dipl.-Inform.

Wissenschaftliche Mitarbeiterin, FU Berlin
AG Programmiersprachen, Institut für Informatik

Freie Universität Berlin
Fachbereich Mathematik und Informatik
Takustr. 9, 14195 Berlin

E-Mail: hakobyan@inf.fu-berlin.de
Tel.: +49 30 838 75320

Sprechstunde:
Nach Vereinbarung
Raum 158

Aktuelles

KVV
Seminar über Programmiersprachen

Lehre

Arbeitsgruppe

Forschung

  • Entwicklung und Korrektheit von Programmiersprachen
  • Verifikationstechniken (Theorembeweiser Isabelle/HOL)
  • Synchrone Programmiersprachen

  Vitae

   geboren in Eriwan, Armenien

  Studium

   09/1995 - 07/1999       Bachelor Informatik, Technische Universität Eriwan
   10/2002 - 10/2010       Diplom Informatik, Freie Universität Berlin

  Werdegang

  04/2003 - 09/2004       Projekt Amira , Wissenschaftliche Visualisierung, Konrad Zuse Institut Berlin
  05/2005 - 10/2005       Fakultät der Wirtschaftswissenschaften , Humboldt Universität Berlin
  02/2009 - 02/2010       Projekt Aspen , Institut für Softwaretechnik und Theoretische Informatik, TU Berlin
  11/2010 -                 Wissencheftliche Mitarbeiterin und PhD Student Freie Universität Berlin, AG Programmiersprachen