!!!Marta Z. Kwiatkowska
\\

%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='kwiatkowska_marta.jpg'  alt='Marta Z. Kwiatkowska' height='200'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.cs.ox.ac.uk/marta.kwiatkowska]
\\ \\
\\ \\
\\ \\
__Present and Previous Positions__
*2007-present Professor of Computing Systems and Fellow of Trinity College, University of Oxford
*2001-2007 Professor of Computer Science, University of Birmingham
*1998-2001 Reader in Semantics for Concurrency, University of Birmingham
*1994-1998 Lecturer in Computer Science, University of Birmingham
*1986-1994 Lecturer in Computer Science, University of Leicester
*1984-1986 Research Scholar, University of Leicester
*1980-1988 Assistant Professor, Jagiellonian University, Kraków, Poland
\\ \\
__Fields of Scholarship__
*Automated verification
*Probabilistic model checking
*Temporal logics
*Semantic models for concurrency, probability and real-time
*Applications of model checking to ubiquitous computing
*Modelling and analysis of biological processes
\\ \\
__Honours and Awards__
*2010 ERC Advanced Grant 246967 VERIWARE: From software verification to everyware verification, 2,046K euro, 2010-1015
*2010 CAV Award Committee, 2011-2015
*2010 Top Cited Article award in the journal Theoretical Computer Science for the period 2005-2010. Paper Probabilistic Model Checking of Complex Biological Pathways by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn
*2007 Fellow of the British Computer Society
*2006 Best Paper Award, Quantitative Evaluation of Systems (QEST) Conference Paper Game-based Abstraction for Markov Decision Processes by Marta Kwiatkowska, Gethin Norman and David Parker.
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Kwiatkowska_Marta/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Kwiatkowska_Marta/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Kwiatkowska_Marta/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Kwiatkowska_Marta/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit mkwiatkowska}]
[{ALLOW upload mkwiatkowska}]
[{ALLOW comment All}]