www.comlab.ox.ac.uk/people/Marta.Kwiatkowska/activities.html
Marta Kwiatkowska - Professional Activities
Editorial
-
Guest Editor, Special Issue of Formal Methods in System Design on Probabilistic Model Checking
-
Editorial Board, Philosophical Transactions of the Royal Society A, 2010-2012
-
Associate Editor, IEEE Transactions on Software Engineering, 2010-2012
-
Editorial Board, Science of Computer Programming
-
Editorial Board, Transactions
on Computational Systems Biology, LNCS Journal Subline
-
Editorial Board, Journal
on Logical Methods in Computer Science (LMCS)
-
Guest editor, Proceedings of the Royal Society Discussion Meeting From computers to ubiquitous computing, by 2020, Phil. Trans. R. Soc. A: 366 (1881)
-
Guest Editor, Special Issue of IEEE Transactions on Software Engineering on Quantitative Evaluation of Computer Systems
Fellowships and Professional Service
-
Member, Academia Europea
-
Fellow, the British Computer Society
-
Principal Investigator, ERC
Advanced Grant VERIWARE, 2010-15
-
Member, REF 2014
Subpanel 11 (Computer Science and Informatics)
-
Chair, ERC
Starting Grants Panel (PE6)
-
Member, EPSRC
Computing College
-
Member, Digiteo Scientific Committee
-
Member, Advisory Board, MT-LAB
-
Member, SICSA International Advisory Board
-
Member, KTH ACCESS Scientific Advisory Committee
-
Member, UK Computing Research Committee (UKCRC), expert panel of the BCS and the IEE
-
Member, Steering Committee, women@CL network
Conferences Organised