BEGIN:VCARD VERSION:3.0 N;CHARSET=ISO-8859-1:Giesl;Jürgen;;Dr. rer. nat., Universitätsprofessor; FN;CHARSET=ISO-8859-1:Jürgen Giesl ORG;CHARSET=ISO-8859-1:RWTH - Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) TITLE;CHARSET=ISO-8859-1: ADR;CHARSET=ISO-8859-1;TYPE=work:;;Ahornstraße 55;Aachen;52074;Germany URL;TYPE=work:http://verify.rwth-aachen.de/giesl/ EMAIL;TYPE=INTERNET:giesl@informatik.rwth-aachen.de TEL;TYPE=voice,work:+49 241 80 21230 TEL;TYPE=fax,work:+49 241 80 22217 END:VCARD