I am a PhD student at the MOSI group since September 2011.
Research Interests
- Efficient methods of solving Chemical Master Equation (CME)
- Moment closure techniques (standard, conditional/hybrid)
- Sensitivity analysis and parameter estimation of biochemical systems
- Uniformization for Markov chains (time-homogeneous and inhomogeneous)
- Maximum entropy method for reconstruction probability distributions
Publications
- A. Andreychenko, P. Crouzen, V. Wolf:
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
QAPL’11. @arXiv, @rg
- A. Andreychenko, L. Mikeev, D. Spieler, V. Wolf:
Parameter Identification for Markov Models of Biochemical Reactions
CAV’11
- A. Andreychenko, L. Mikeev, D. Spieler, V. Wolf:
Approximate Maximum Likelyhood Estimation for Stochastic Chemical Kinetics,
WCSB’11 (large file!)
- A. Andreychenko, L. Mikeev, D. Spieler, V. Wolf:
Approximate maximum likelihood estimation for stochastic chemical kinetics
Journal on Bioinformatics and Systems Biology, Springer, 2012. Springer 2012
- A. Andreychenko, T. Krüger, D. Spieler:
Analyzing oscillatory behavior with formal methods
ROCKS Autumn School Proceedings, LNCS, 2014.
- A. Andreychenko, L. Mikeev, V. Wolf:
Model Reconstruction for Moment-based Stochastic Chemical Kinetics
ACM Transactions on Modeling and Computer Simulation (ACM) (TOMACS-2014-0026.R1), 2014.
- A. Andreychenko, L. Mikeev, V. Wolf:
Reconstruction of Multimodal Distributions for Hybrid Moment-based Chemical Kinetics
Journal of Coupled Systems and Multiscale Dynamics (JCSMD) (arXiv), 2015
- A. Andreychenko, M. Magnin, K. Inoue
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets
CMSB, 2015.
- A. Andreychenko, L. Bortolussi, R. Grima, P. Thomas and V. Wolf:
Distribution approximations for the chemical master equation: comparison of the method of moments and the system size expansion
BIOMS Workshop Modeling Cellular Systems (arXiv), 2016
- A. Andreychenko, M. Magnin, K. Inoue
Analyzing resilience properties in oscillatory biological systems using parametric model checking
Biosystems, 2016
- A. Andreychenko, W. Sandmann, V. Wolf:
Approximate adaptive uniformization of continuous-time Markov chains
Applied Mathematical Modelling, 2018
Teaching
- Lecture: Modeling and Simulation – SS10, Assistant
- Seminar: Selected Stochastic Models – WS10/11, Assistant
- Lecture: Data Networks – SS11, Assistant for a small part of the course
- Seminar: Stochastic Simulation Techniques – WS11/12, Assistant
- Lecture: Computational Systems Biology – SS12, Assistant
- Lecture: Quantitative Model Checking (QMC) – SS12, Assistant
- Lecture: Modeling and Simulation – WS12/13, Assistant
- Lecture: Stochastic Dynamics in Systems Biology – WS13/14, Assistant
- Lecture: Probabilistic Methods and Data Analysis – WS15/16, Assistant
- Assisting (as a second assistant) the Master thesis of Maxat Aipanov
- Assisting the Master thesis of Miriam Bah (completed in September 2015)
Other
Reviews for: TACAS 2011, TACAS 2013, WSC 2012, YRCONCUR 2012, QEST 2012, MMB & DFT 2012, QEST 2010, CMSB 2011, CMSB 2012, TMS DEVS 2013, TOMCAS 2014, QEST 2015, FORMATS 2015, HSCC 2016, TACAS 2016