Max Tschaikowski
CV Version: 10th December 2014
PERSONAL DETAILS
Born
Citizenship
Languages
Address
E-Mail
Late 1983 in a suburb of Moscow
German, Russian
Bilingual in German and Russian, fluent in English
Electronic & Software Systems
University of Southampton
Mountbatten Building (53), Level 4, Room 4033
Southampton SO17 1BJ
[email protected]
DEGREES
Ph.D. in Computer Science
LMU M¨
unchen, Germany
2014
Supervisor: Prof. Mirco Tribastone, Ph.D.
Thesis Title: Fluid Aggregations for Markovian Process Algebra
Diploma in Mathematics
LMU M¨
unchen, Germany
2010
Supervisor: Prof. Dr. Hans-Dieter Donder
Thesis Title: Combinatorial Properties of Singular Cardinal Numbers
POSITIONS
Research Fellow
University of Southampton, UK
07/2014 - now
Research Assistant
University of Southampton, UK
10/2013 - 06/2013
Research Assistant
LMU University in Munich, Germany
10/2010 - 09/2013
RESEARCH INTERESTS
• Formal Methods in Quantitative Modelling
• Stochastic Process Algebra and Queueing Networks
• Fluid Models
PUBLICATIONS
Journals
1. Max Tschaikowski and Mirco Tribastone. A unified framework for differential aggregations in
Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 2014
2. Max Tschaikowski and Mirco Tribastone. Exact fluid lumpability in Markovian process algebra.
Theoretical Computer Science, 2013
3. Max Tschaikowski and Mirco Tribastone. Tackling continuous state-space explosion in a markovian
process algebra. Theoretical Computer Science, 2013
Conferences
1. Max Tschaikowski and Mirco Tribastone. A Partial-differential Approximation for Spatial
Stochastic Process Algebra. In VALUETOOLS, 2014
2. Max Tschaikowski and Mirco Tribastone. Insensitivity to Service-time Distributions for Fluid
Queueing Models. In VALUETOOLS, 2013
3. M. Tschaikowski and M. Tribastone. Exact fluid lumpability for Markovian process algebra. In
International Conference on Concurrency Theory (CONCUR), LNCS, pages 380–394, 2012
4. M. Tschaikowski and M. Tribastone. Generalised Communication for Interacting Agents. In 9th
International Conference on Quantitative Evaluation of Systems (QEST), IEEE, pages 178–188,
September 2012
Workshops
1. Max Tschaikowski and Mirco Tribastone. Extended Differential Aggregations in Process Algebra
for Performance and Biology. In 12th Quantitative Aspects of Programming Languages and
Systems (QAPL), 2014
2. Max Tschaikowski and Mirco Tribastone. Refined theory of packages. In 10th Workshop on
Process Algebra and Stochastically Timed Activities (PASTA), 2011
TALKS GIVEN
• International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
2014, Bratislava, Slovakia
• Invited talk at the Modeling and Simulation group, University of Saarland, Germany
• European Conference on Queueing Theory (ECQT), 2014, Ghent, Belgium
• International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
2013, Turin, Italy
• Invited talk at the PEPA group, University of Edinburgh, UK
• International Conference on Concurrency Theory (CONCUR) 2012, Newcastle upon Tyne, UK
• International workshop on Process Algebras and Stochastically Timed Activities (PASTA) 2011,
Ragusa, Italy
VENUES ATTENDED
• International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
2014, Bratislava, Slovakia
• European Conference on Queueing Theory (ECQT), 2014, Ghent, Belgium
• International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
2013, Turin, Italy
• International Conference on Quantitative Evaluation of SysTems (QEST) 2012, London, UK
• Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems (MLQA)
2012, Edinburgh, UK
• European Performance Engineering Workshop (EPEW) 2012, Munich, Germany
• International workshop on Process Algebras and Stochastically Timed Activities (PASTA) 2011,
Ragusa, Italy
• International workshop on Quantitative Modelling and Formal Analysis 2011, Lucca, Italy
¨
EXPERIENCE AS TEACHING ASSISTANT AT THE LMU MUNCHEN
Apr 2013 - Sep 2013, Formal Techniques for Software Engineering
Oct 2012 - Mar 2013, Software Engineering
Apr 2012 - Sep 2012, Performance Modelling of Computer Systems
Apr 2012 - Sep 2012, Formal Specification and Verification
Oct 2011 - Mar 2012, Software Engineering
Apr 2011 - Sep 2011, Performance Modelling of Computer Systems
Oct 2010 - Mar 2011, Formal Specification and Verification
ACADEMIC SERVICES
As sub-reviewer
• Journals
– IEEE/ACM Transactions on Networking
– Performance Evaluation
– The Computer Journal
• Conferences
– QEST 2012, 2014
– ICPE 2015
– VALUETOOLS 2013, 2014
• Workshops
– QAPL 2014
– EPEW 2011
As sub-supervisor of students
Bachelor thesis of Isabella Cortrie, 2012
Project work of Mihai Gottschling, 2012