Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Bioinformatik und Theoretische Biologie |
| Keywords | Hybrid automata, Computational systems biology, Distributed computing systems, Temporal logics, Probabilistic dynamical systems |
Aktuelle Kontaktadresse
| Land | USA |
|---|---|
| Ort | Boston |
| Universität/Institution | Harvard Medical School |
| Institut/Abteilung | Department of Biological Chemistry and Molecular Pharmacology |
Gastgeber*innen während der Förderung
| Prof. Dr. Rupak Majumdar | Max-Planck-Institut für Softwaresysteme, Kaiserslautern |
|---|---|
| Beginn der ersten Förderung | 01.01.1900 |
Programm(e)
| 2016 | Forschungspreis-Programm auf Gegenseitigkeit für Wissenschaftler*innen aus dem Ausland |
|---|
Projektbeschreibung der*des Nominierenden
| Professor Thiagarajan is an authority on the modeling and verification of concurrent, distributed, and cyber-physical systems. His research on Petri nets helped set the foundations of concurrency theory. His research on probabilistic hybrid dynamical systems and approximation techniques led to new techniques and scalable tools for the analysis of computer systems interacting with the physical world. His research has found applications in the modeling and analysis of biological pathways. In Germany, he will continue his work on abstraction and control of stochastic hybrid systems. |