[{FormSet
form='ws'
template='Wissenssammlungen/Wissenschaftler/Template'
Nachname='Henzinger, MAE'
Vorname='Thomas A.'
Titel='Professor Dr.'
Position='Direktor des ISTA'
Universität=''
Institut='IST-A'
Gebiet='Computer-Aided Verification, Programm Verifikation, Software, Model Checking, Concurrency Theory, Real-Time Systems, Embedded Software'
E-Mail='meine-drei-initialen@ist.ac.at'
Url='[http://pub.ist.ac.at/~tah]'
Aktivitäten='ACM Fellow, IEEE Fellow, Deutsche Akademie der Wissenschaften (Leopoldina),\\Mitglied der [Academia Europaea|http://www.ae-info.org]'
Mitgliedschaften=''
Projekte='siehe [http://pub.ist.ac.at/~tah]'
Publikationen='siehe [http://pub.ist.ac.at/~tah]'
Anschrift='Am Campus 1\\3400 Klosterneuburg'
Ort='Gugging,  Klosterneuburg'
Telefon='+43 2243 9000 1016'
Anmerkung='Lebensslauf siehe [http://pub.ist.ac.at/~tah/bio.html]\\Wittgensteinpreis 2012 (mit 1,5 Mio Euro dotiert)'
Foto='00Henzinger.jpg'
UserId='t.henzinger'

}]

[{FormOutput form='ws' handler='ScientistPlugin' populate='handler'}]

[{If user='t.henzinger' group='Admin|Editor'

\\
----

%%scientist-form
!!Datenaktualisierung
[{FormOpen form='ws' handler='ScientistPlugin' }]
[{FormInput type='text' name='Titel' label='' size='60'}]
[{FormInput type='text' name='Vorname' label='' size='60'}]
[{FormInput type='text' name='Nachname' label='' size='60'}]
[{FormInput type='text' name='Foto' label='' size='60'}]
[{UploadPlugin height='250' link='Foto hochladen'}]
[{FormInput type='text' name='Position' label='' size='60'}]
[{FormInput type='text' name='Universität' label='' size='60'}]
[{FormInput type='text' name='Institut' label='' size='60'}]
[{FormTextarea name='Gebiet' label='Arbeitsgebiet'}]
[{FormInput type='text' name='E-Mail' label='' size='60'}]
[{FormTextarea name='Url' label='Web-Site'}]
[{FormTextarea name='Aktivitäten' label=''}]
[{FormTextarea name='Mitgliedschaften' label=''}]
[{FormTextarea name='Projekte' label=''}]
[{FormTextarea name='Publikationen' label=''}]
[{FormTextarea name='Anschrift' label=''}]
[{FormInput type='text' name='Ort' label='' size='60'}]
[{FormInput type='text' name='Telefon' label='' size='60'}]
[{FormTextarea name='Anmerkung' label=''}]\\
[{FormInput type='submit' name='updateButton' value='Übernehmen'}]
[{FormClose}]
%%
}]


[{Metadata WS_Name='Thomas A. Henzinger, MAE' WS_Gebiet='Computer Aided Verification, Programm Verifikation, Software, Model Checking, Concurrency Theory, Real Time Systems, Embedded Software' WS_Ort='Gugging,  Klosterneuburg' WS_Uni=''}]

----
[{Image src='https://austria-forum.org/images/sim-link.png' class='image_block' height='16'}]
__Austria-Forum Beiträge in ähnlichen Gebieten__ 
>[https://austria-forum.org/af/Wissenssammlungen/Wissenschaftler/TemplateWS|https://austria-forum.org/af/Wissenssammlungen/Wissenschaftler/TemplateWS]
>[https://austria-forum.org/af/Wissenssammlungen/Wissenschaftler/Hagenauer%2C_Helge|https://austria-forum.org/af/Wissenssammlungen/Wissenschaftler/Hagenauer%2C_Helge]