Dr. Maria Anisimova
Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution
Information and Communication Technologies (ICTs)
Quantitative modeling, analysis and synthesis methods for complex systems
theory (process calculi, semantic models, logics,
algorithms) to software implementation techniques (symbolic model checking, numerical solutions,runtime verification) and applications (dependability analysis, quantitative verification of communication protocols, and model checking of biological processes)
Fellow of EATCS, elected 2017
Fellow of ACM, elected 2016
HVC Award (joint with Dave Parker and Gethin Norman) “for the invention, development and maintenance of the PRISM probabilistic model checker”, 2016
Honorary Doctorate by KTH Institute of Technology, Stockholm, for being “the driving force for the development of probabilistic and quantitative methods within computer science”, 2014
Elected to give Milner lecture 2012, awarded for “excellent and original theoretical work which has a perceived significance for practical computing”
Member, Academia Europea, elected 2011
Fellow, the British Computer Society, elected 2008
English
A. Jovanovic, M. Kwiatkowska, G. Norman and Quentin Peyras. Symbolic Optimal
Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed
Automata. To appear in Theoretical Computer Science, 2017.
N. Basset, M. Kwiatkowska, U. Topcu, and C. Wiltsche. Compositional Strategy Synthesis
for Stochastic Games with Multiple Objectives. Accepted to Information and Computation
subject to revisions.
L. Cardelli, M. Kwiatkowska, L. Laurenti. Stochastic Analysis of Chemical Reaction
Networks Using Linear Noise Approximation. To appear, Biosystems, 2017.
M. Svorenova and M. Kwiatkowska. Quantitative Verification and Strategy Synthesis for
Stochastic Games. European Journal of Control, Elsevier. To appear, 2016.
Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi. Expected
Reachability-Time Games. Theoretical Computer Science, 631, pages 139-160, 2016.
M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim. Precise Parameter
Synthesis for Stochastic Biochemical Systems. Acta Informatica. To appear, 2016.
K. Dunn, F. Dannenberg, T. Ouldridge, M, Kwiatkowska, A. Turberfield, J. Bath. Guiding
the folding pathway of DNA origami. Nature, 525, pages 82–86, Nature Publishing Group.
September 2015.
F. Dannenberg, K. Dunn, J. Bath, M. Kwiatkowska, A. Turberfield, and T. Ouldridge.
Modelling DNA Origami Self-Assembly at the Domain Level. Journal of Chemical Physics,
143(16). 2015.
Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska. Simulation-based Verification
of Cardiac Pacemakers with Guaranteed Coverage. IEEE Design & Test, 32(5), pages 27 -
34, IEEE. June 2015.
K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker, M. Ujma. Permissive Controller
Synthesis for Probabilistic Systems. Logical Methods in Computer Science, 11(2:16), pages
1-34, 2015.
Member, Presburger Award, since 2016
Member, CAV (Computer-Aided Verification) Award Panel, 2010 – 2014
Nominator, Japan Prize 2014
Chair, ERC Starting Grants Panel (PE6), 2012 – 2016.
Member, REF 2014 Subpanel 11 (Computer Science and Informatics)
Member, Royal Society Dorothy Hodgkin Fellowships Panel, since 2012
Member, NWO Gravitation Panel, the Netherlands, 2012
Member, Vienna Science Technology Fund Panel, 2012 and 2015
Member, Dutch Informatics Review Panel, 2009
Member, Royal Society International Fellowships Committee, 2008 – 2010
Advisor, Carnegie Scholarships Trust, 2006 – 2014
Member of EPSRC Computing College and Fellowships/Prioritisation Panels, since 1998
Member, BBSRC Engineering and Biological Systems (EBS, Committee C) Committee, 2008 – 2010
Member of Nuffield Science Foundation panel, 2002 – 2006
International expert assessor for Australian Research Council, now Netherlands, NERC Canada
and Israel Science Foundation
Member, Scientific Steering Committee of the Isaac Newton Institute in Cambridge, 2015 – 2017
Member, Scientific Council, SystemX, Institute for Technology Research, 2013 – 2016
Member, KTH ACCESS Linnaeus Centre Scientific Advisory Board, 2009 – 2013
Member, Digiteo Scientific Committee, one of the 13 RTRA (Réseaux Thématiques de Recherche Avancée), 2008 – 2015
Member, Advisory Board, MT-LAB, the Villum Kann Rasmussen Foundation Centre of Excellence in Denmark, 2008 – 2013
You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here
Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution
Information and Communication Technologies (ICTs), Software engineering
Information and Communication Technologies (ICTs), Efficient algorithms
Information and Communication Technologies (ICTs), Microelectronics