Lars Tveito

Lars Tveito is a Lecturer in Programming Technology at the Department of Informatics, University of Oslo. His research focuses on formal methods, distributed systems, and concurrency theory, with contributions to tools like OnlineProver for teaching formal proofs. He is affiliated with the Programming Technology research group and has published widely in venues such as NIKT, OpenAccess Series in Informatics, and Lecture Notes in Computer Science.

Key research interests include partial order reduction techniques, formal verification of distributed systems, and virtualized system analysis. Recent work explores reproducibility in distributed active objects and symbolic execution combined with concurrency analysis. His teaching emphasizes practical applications of formal logic and software engineering principles.

Collaborations with researchers like Einar Broch Johnsen and Rudolf Schlatte highlight his involvement in advancing methodologies for system design and verification. The lack of explicit awards indicates a focus on impactful technical contributions over accolades.