Max Tschaikowski

Max Tschaikowski
Lise Meitner Fellow (FWF) Dipl.-Math. Dr.
Max2017.jpg
E-Mail
Phone +43 (1) 58801-191110
   
Address



Vienna University of Technology
Institute of Computer Engineering
Cyber-Physical Systems
Treitlstraße 3 1040 Wien Österreich

Summary

I am a Lise Meitner Fellow and a member of the CPS Group of Radu Grosu. Prior to it, I was a (non tenure-track) Assistant Professor at IMT Lucca in Italy, a Research Fellow at the University of Southampton, UK, and a Research Assistant at the LMU in Munich, Germany. I was awarded a Diplom in mathematics (equivalent to a Master) and a Ph.D. in computer science by the LMU in 2010 and 2014, respectively.

My research focuses on formal methods in the area of quantitative modeling, with an emphasis on the construction, verification and reduction of quantitative models given either in terms of high-level formalisms like chemical reaction networks and process algebra or described by fundamental mathematical concepts such as stochastic processes and differential equations.

I participated in the European projects ASCENS and QUANTICOL and the German DFG projects FEMPA and DAPS. More recently, I was awarded a prestigious Lise Meitner Fellowship by the Austrian Science Fund FWF. For more information about me, please take a look at my academic CV.

 

Research Grants

I am Principal Investigator in the Lise Meitner Project

    COCO: Control Equivalence for Cyber-Physical Models

which is funded with 166 thousand euro over a duration of two years by the FWF in the context of my Lise Meitner Fellowship. Host and co-applicant of the project is Radu Grosu. The project focuses on the development of efficient verification algorithms for quantitative models of cyber-physical and biological systems. To this end, it combines model reduction and formal verification techniques. For more information, please refer to the list of ongoing CPS projects.

 

Selected Publications

  • M. Tschaikowski. Over-Approximation of Fluid Models. IEEE TAC 2019 [Early Access: https://ieeexplore.ieee.org/document/8701451]
  • S. Tognazzi, M. Tribastone, M. Tschaikowski, and A. Vandin. Backward Invariance for Linear Differential Algebraic Equations. CDC 2018   
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. QEST 2018
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences, 2017
  • S. Tognazzi, M. Tribastone, M. Tschaikowski, and A. Vandin. EGAC: A Genetic Algorithm to Compare Chemical Reaction Networks. GECCO 2017
  • M. Tschaikowski and M. Tribastone.  Spatial Fluid Limits for Stochastic Mobile Networks. Performance Evaluation, 2017
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS 2017
  • L. Bortolussi and M. Tschaikowski.  Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA 2016
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Comparing chemical reaction networks: A categorical and algorithmic perspective. LICS 2016
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic computation of differential equivalences. POPL 2016.
  • L. Cardelli, A. Csikász-Nagy, N. Dalchau, M. Tribastone, and M. Tschaikowski. Noise Reduction in Complex Biological Switches. Scientific reports, 2016
  • M. Tschaikowski and M. Tribastone. Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE TAC, 2016
  • M. Tschaikowski and M. Tribastone. A computational approach to steady-state convergence of fuid limits for Coxian queuing networks with abandonment. Annals of Operations Research, 2016
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Efficient syntax-driven lumping of differential equations. TACAS  2016
  • L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Forward and backward bisimulations for chemical reaction networks.  CONCUR 2015
  • M. Kowal, M. Tschaikowski, M. Tribastone, and I. Schaefer. Scaling size and parameter spaces in variability-aware software performance models. ASE 2015

For a full list of publications, please refer to my DBLP page or my Google Scholar profile.