Computer Science · Physical Sciences
0h-index0citations1works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(1), Formal Methods in Verification(1), Distributed systems and fault tolerance(1)
Publications1 total
Methods for using Agda to prove Safety and Liveness for Concurrent Programs
2017
Frequent Co-authors
Erik Bergsten(1), Oskar Larsson Ivanov(1), Tobias Rastemo(1), Anderas Standar(1)