Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Post Doc |
|---|---|
| Research fields | Software Engineering and Programming Languages,Computer Architecture, Embedded and Massively Parallel Systems |
| Keywords | semantics, formal verification, program optimization, computer architecture |
| Honours and awards | 2023: Distinguished Artifact Award at ASPLOS 2021: Young Talent Incentive Award, Koninklijke Hollandsche Maatschappij der Wetenschappen |
Current contact address
| Country | Germany |
|---|---|
| City | Garching |
| Institution | Technische Universität München |
| Institute | Fakultät für Informatik |
Host during sponsorship
| Prof. Dr.-Ing. Pramod Bhatotia | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Start of initial sponsorship | 01/09/2025 |
Programme(s)
| 2024 | Humboldt Research Fellowship Programme for Postdocs |
|---|