Software Engineering Research Group

Welcome!

Our mission is to research and teach theories, methods, processes, and techniques for building and evolving large, complex, and long-living software systems. We aim at adding the engineering to the profession of software developers, making their live more productive and cheerful, and resulting in software systems of high quality. SERG is led by Martin Pinzger and part of the Department of Informatics Systems, Faculty of Technical Sciences, at the Alpen-Adria-Universität Klagenfurt.

Studying Computer Science at the Alpen-Adria-Universität Klagenfurt

Our university offers an attractive and international program for doing a Bachelor, Master, and/or a Doctorate in Computer Science. As one of our Master students stated: "Studying computer science at the Alpen-Adria-Universität Klagenfurt offers a challenging road that is rewarded with great job opportunities." For more information see the study guides on the Bachelor, Master and Doctorate programs.

We are looking for students with strong technical or research skills for doing a Master's Thesis or a Softwarepraktika with us. We have a number of open thesis projects also in collaboration with industry. Find out more info on our open thesis projects on this web-site. Regarding Softwarepraktika check out this web-site.

Collaborating with SERG

In addition to basic research, we have a big interest in performing applied research whose results are transferred to industry, governmental institutions, and open source communities. The collaborations of SERG with X-Automata, Philips Healthcare, KPMG, Robeco, and the Software Improvement Group (SIG) are good examples of such a knowledge transfer. If you are interested in a collaboration with SERG, e.g., in form of a partner in a research project, sponsor of our research, or in some other form, please contact us.

News

• June 2018 - Our paper "Designing Safe and Secure Industrial Control Systems : A Tutorial View" has been accepted in IEEE Design and Test.
• May 2018 - Our paper "Towards Model Checking Security of Real Time Java Software" has been accepted at SHPCS 2018, co-located with HPCS 2017 in Orléans, France.
• April 2018 - Stefanie Beyer successfully defended her !PhD Thesis "Identifying Android App Developers’ Challenges through Mining Stack Overflow". Well done Steffi!!!
• March 2018 - Our paper "Automatically Classifying Posts into Question Categories on Stack Overflow" has been accepted at ICPC 2018, co-located with ICSE 2018 in Gothenborg, Sweden.
• March 2018 - Our paper "Modeling Time in Java Programs for Automatic Error Detection" has been accepted at FormaliSE 2018, co-located with ICSE 2018 in Gothenborg, Sweden.