Dr. Xiaoxiao Yang

Profil

Derzeitige Stellung	Professor W-1 und Äquivalente
Fachgebiet	Numerik, Optimierung, Simulation,Theoretische Informatik
Keywords	liveness, safety, interval temporal logic, formal verification, Nonblocking synchronization

Aktuelle Kontaktadresse

Land	China, VR
Ort	Beijing
Universität/Institution	Chinese Academy of Sciences (CAS)
Institut/Abteilung	Institute of Software, State Key Laboratory of Computer Science

Gastgeber*innen während der Förderung

Prof. Dr. Joost-Pieter Katoen	Informatik 2 - Softwaremodellierung und Verifikation, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen
Beginn der ersten Förderung	01.09.2013

Programm(e)

2012	Humboldt-Forschungsstipendien-Programm für Postdocs