Reger Forscheraustausch

Zwischen Bergamo und Hagenberg

Im Rahmen des COMET-Programms hat das SCCH den Kreis seiner wissenschaftlichen Partner stetig erweitert. Regelmäßig findet ein Austausch der wissenschaftlichen Mitarbeiter statt. Dr. Atif Mashkoor forschte an der Università degli studi die Bergamo. 

 

Forschungsbereich Formale Methoden

Dr. Atif Mashkoor, Key Researcher im Bereich Rigorous Software Engineering (RSE), hielt Seminare zum Thema Rigorosen Methoden und zur Event-B Methode. Neben der Vortragstätigkeit übernahm er gemeinsam mit dem Erstbetreuer  Prof. Angelo Gargantini die Betreuung einer Dissertantin.

zurück