Scientific Staff

Tijana Levajkovic, PhD (ASTAT postdoc)
Alejandra Avalos Pacheco, PhD (ASTAT postdoc)
Daniel Kapla, Dipl.- Ing. (FWF predoc project assistant)
Andrey Kofnov, Master Degree (FWF and SecInt predoc project assistant)

Emeritus
Em.O.Univ.Prof. Dipl.-Ing. Dr.techn. Manfred Deistler, (FWF project consultant)

Office
Anna Koniuk, Office
Helmut Schwarz, Accounting

Current Projects

• Sufficient Dimension Reduction Methodology in Forecasting. (FWF)
• ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs. (WWTF)
• SecInt: Statistical Verification of Security Properties for Cyber- Physical Systems.