Currently I am Ph.D. candidate at Design and Analysis of Communication Systems (DACS) group at University of Twente. My research as a Ph.D. student is a part of MATMaM project.
I am graduated from Volgograd State University (Applied mathematics and computer science) and Halmstad University (Financial Mathematics) at 2007.
Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer and Boudewijn Haverkort. A logic for model-checking of mean-field models. Technical report. Accepted as presentation report for Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), 31 Mar- 1 Apr, Tallinn, Estonia (2012).
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672 (2011).
CTIT symposium 2011. Poster "Fast and accurate analysis of peer-to-peer botnet spread”. Thrid prize winner (2011).
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743 (2011).
1st Symposium of Systems Genetics: from man to microbe, from genotype to phenotype. Poster "A large-scale phenotypic analysis of epigenetically different lines of Arabidopsis thaliana” (2009).
Master thesis: The valuation of portfolios under uncertain volatility: Black-Scholes-Barenbalatt equations and static hedging (2007).
