Software and Computational Systems Lab

The Chair for Software and Computational Systems at LMU Munich represents the area of development, verification, and maintenance of software systems. Our research focuses on models, methods, and algorithms for the efficient analysis of software systems.



You are about to be redirected to another page. We are not responsible for the content of that page or the consequences it may have on you.