Achermann, Reto
Department of Computer Science, Faculty of Science
Faculty (G+PS eligible/member)
resilient and efficient systems; intersection of operating systems, applied formal methods and hardware models.; resilient and efficient systems, intersection of operating systems, applied formal methods and hardware models.