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