Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-2 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Philosophie |
| Keywords | programming languages, effect systems, theoretical computer science, denotational semantics, Concurrency |
Aktuelle Kontaktadresse
| Land | Brasilien |
|---|---|
| Ort | Joao Pessoa |
| Universität/Institution | Universidade Federal da Paraiba (UFPB) |
| Institut/Abteilung | Departamento de Informática Centro de Ciências Exatas e da Natureza |
| Website | www.nigam.info |
Gastgeber*innen während der Förderung
| Prof. Dr. Martin Hofmann | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Beginn der ersten Förderung | 01.11.2010 |
Programm(e)
| 2010 | Humboldt-Forschungsstipendien-Programm für Postdocs |
|---|