Pressemitteilungen

Weitere Meldungen zu genannten Personen

Martin Fränzle

15. November 2017   381/17    Personalie

Informatiker Xue Bai erhält Ruf in China

Oldenburg. Dr. Xue Bai, bisher Wissenschaftlicher Mitarbeiter in der Arbeitsgruppe „Hybride Systeme“ am Department für Informatik der Universität Oldenburg, hat einen Ruf als Associate Professor des Instituts für Software der Chinesischen Akademie der Wissenschaften in Peking erhalten. Bai studierte Information and Computer Science an der Tianjin University of Technology and Education in China. Nach seiner Promotion an der School of Mathematics and Systems Science der Beihang University (China) war er zunächst als Wissenschaftlicher Mitarbeiter an der Nanyang Technological University in Singapur tätig, bevor er im November 2015 an die Universität Oldenburg kam und unter Leitung des Informatikers Prof. Dr. Martin Fränzle Methoden zur automatischen Überprüfung der Sicherheit technischer Systeme erforschte. Hierbei galt sein Augenmerk der Rückkopplung zwischen eingebetteten Softwaresystemen und ihrer physischen Umgebung, wobei ihn bei solchen hybriden Systemen insbesondere die automatische Verifikation nichtlinearer Differentialgleichungen interessierte.

Weblinks

• uol.de/hs

Bilder

Dr. Xue Bai Foto: privat [Bild herunterladen]