Karsten Wolf

Karsten Wolf studierte (1988-1993), promovierte (1996), habilitierte sich (2002) und arbeitete mehrere Jahre (1993-2005) an der Humboldt-Universit�t zu Berlin. Zwischendurch war erjeweils 8-12 Monate an der Helsinki University of Technology (1996), der Technischen Universit�t Dresden (1997) und der Carnegie MellonUniversity Pittsburgh (2000-2001) t�tig. Seit 2006 ist er Professoran der Universit�t Rostock, zun�chst f�r Theorie der Programmiersprachenund Programmierung, seit 2014 fï¿...See more

Karsten Wolf studierte (1988-1993), promovierte (1996), habilitierte sich (2002) und arbeitete mehrere Jahre (1993-2005) an der Humboldt-Universit�t zu Berlin. Zwischendurch war erjeweils 8-12 Monate an der Helsinki University of Technology (1996), der Technischen Universit�t Dresden (1997) und der Carnegie MellonUniversity Pittsburgh (2000-2001) t�tig. Seit 2006 ist er Professoran der Universit�t Rostock, zun�chst f�r Theorie der Programmiersprachenund Programmierung, seit 2014 f�r Theoretische Informatik.Karsten Wolf forscht an computergest�tzten Methoden, deren Ziel es ist, Fehler in verteilten Informationssystemen zu finden bzw. zu vermeiden.Im vorliegenden Buch verarbeitet er seine �ber 20-j�hrige Erfahrung inLehrveranstaltungen f�r Erstsemester zum Thema "Logik f�r Informatiker". See less