Zimmer : RCH 4.4.03 Telefon : +49 (+30) 2093 3078 Fax : +49 (+30) 2093 3081 E-mail : starke@informatik.hu-berlin.de Sprechzeiten : Di 11.00 -12.00 Uhr
Humboldt-Universität Berlin seit 1955
Arbeitsgebiete:
Postadresse: Sitz: Humboldt-Universitaet zu Berlin Institut fuer Informatik Unter den Linden 6 Rudower Chaussee 25 10099 Berlin Berlin-Adlershof Deutschland
Beruflicher Werdegang :
Abitur 1955,
Mathematik-Studium an der Humboldt-Universität 1955 - 60,
Diplom-Mathematiker 1960,
Assistent am Institut f. Math. Logik der HU 1960 - 66,
Promotion zum Dr. rer. nat. 1966,
Oberassistent an der Sektion Mathematik der HU 1966 - 69,
Berufung zum Dozenten für Math. Kybernetik 1969,
Habilitation 1970,
Berufung zum a.o. Professor 1989,
Berufung zum o. Prof. für Informationssystemtheorie 1990,
Berufung zum C4-Prof. für Automaten- und Systemtheorie1992.
Mitgliedschaften:
Mitherausgeber des Journal of Information
Processing and Cybernetics (EIK)
Berlin-Brandenburgische Akademie der Wissen-
schaften, Klasse für Technikwissenschaften
Ehrungen:
"Hervorragende wiss. Leistung"
(1976, für einen Komplex von Arbeiten zum
Thema "Multi-Tape-Automata")
Gauß-Medaille
(1977, im Rahmen der Gauß-Ehrung der DDR)
"Wissenschaftlich-technische Höchstleistung"
(1986, für theoretische Grundlagen und
Realisierung des Programmpakets "Petri-Netz-Maschine")
Publikationen (Monographien, Programme):
"Abstrakte Automaten" (Berlin, 1969)
"Abstract Automata" (Amsterdam, 1972)
"Petri-Netze: Grundlagen, Anwendung, Theorie" (Berlin, 1980)
"Sieci Petri" (Warschau, 1987)
"Analyse von Petri-Netz-Modellen" (Stuttgart, 1990)
Programmpakete: "Petri-Netz-Maschine/PAN" (1985 - 88),
"Coloured Petri Net Analyzer CPNA" (1989),
"Arc Timed Net Analyzer ATNA" (1990),
"Integrated Net Analyzer INA" (1992).