Bas Spitters - Research - Aarhus University

Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal / Aarhus Universitets segl

Bas Spitters

Associate professor

Bas Spitters

Department of Computer Science
Åbogade 34
building 5335, 398
8200 Aarhus N
Denmark
spitters@cs.au.dk

ORCID: 0000-0002-2802-0973

Research areas

IT, Computer Science and Mathematics > Theoretical Computer Science > Semantics of programming language
IT, Computer Science and Mathematics > Theoretical Computer Science > Programming languages and formal models
IT, Computer Science and Mathematics > Theoretical Computer Science > Cryptology
IT, Computer Science and Mathematics > Theoretical Computer Science > Functional programming

Profile

https://www.cs.au.dk/~spitters/

Latest publications

Published
Application of Computable Distributions to the Semantics of Probabilistic Programs
Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
Published
Smart contract interactions in coq
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
High-assurance field inversion for pairing-friendly primes
Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

View all (33) »

ID: 86072534