Role

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

Contact

• adrian.rebola@tuwien.ac.at
• +43-1-58801-740074
• Favoritenstrasse 9, Room HA0309
• vCard from TISS

• informatics.tuwien.ac.at/people/adrian-rebola
• tiss.tuwien.ac.at/person/296535