Google Scholar profile |
Personal webpage
Research areas: Computer Science | Programming | Logic | Semantics
Google Scholar profile |
Personal webpage
Research areas: Formal Methods | Verification and validation | High Performance Model Checking
Google Scholar profile |
Personal webpage
Research areas: Programming Languages| Software Engineering | Program Analysis | Static Analysis | Software Testing
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Computer Security
Google Scholar profile |
Personal webpage
Research areas: Formal Methods | Programming Languages | Algorithmic Verification | Concurrency | Evolutionary Game Theory
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Type Theory | Logic | Semantics
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Compilers | Static Analysis | Functional Programming | Logic Programming
Google Scholar profile |
Personal webpage
Research areas: Categorical Type Theory | Semantics | Program Verification | Blockchain
Research areas: Programming languages | Relaxed memory models | Systems programming
Google Scholar profile
Personal webpage
Research areas: Programming Languages | Logic | Cryptography | Type Theory | Fomal Methods
Name | Job title | Phone | Building | |
---|---|---|---|---|
Nelson, Boel | Postdoc | boel@cs.au.dk |