Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
Academic position | Full Professor |
---|---|
Research fields | Theoretical Computer Science,Bioinformatics and Theoretical Biology |
Keywords | Hybrid automata, Computational systems biology, Distributed computing systems, Temporal logics, Probabilistic dynamical systems |
Current contact address
Country | United States of America |
---|---|
City | Boston |
Institution | Harvard Medical School |
Institute | Department of Biological Chemistry and Molecular Pharmacology |
Host during sponsorship
Prof. Dr. Rupak Majumdar | Max-Planck-Institut für Softwaresysteme, Kaiserslautern |
---|---|
Start of initial sponsorship | 01/01/1900 |
Program(s)
2016 | Humboldt Research Award Programme |
---|
Nominator's project description
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. |