Role

• PreDoc Researcher
  Formal Methods in Systems Engineering, E192-04

Contact

• sophie.rain@tuwien.ac.at
• +43-1-58801-192417
• Favoritenstrasse 9, Room HD0323
• vCard from TISS

• informatics.tuwien.ac.at/people/sophie-rain
• tiss.tuwien.ac.at/person/282003