Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Associate Professor, Senior Lecturer, Reader |
|---|---|
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory,Theoretical Philosophy |
| Keywords | programming languages, effect systems, theoretical computer science, denotational semantics, Concurrency |
Current contact address
| Country | Brazil |
|---|---|
| City | Joao Pessoa |
| Institution | Universidade Federal da Paraiba (UFPB) |
| Institute | Departamento de Informática Centro de Ciências Exatas e da Natureza |
| Homepage | www.nigam.info |
Host during sponsorship
| Prof. Dr. Martin Hofmann | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Start of initial sponsorship | 01/11/2010 |
Programme(s)
| 2010 | Humboldt Research Fellowship Programme for Postdocs |
|---|