!!!Marta Z. Kwiatkowska
\\

%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='kwiatkowska_marta.jpg'  alt='Marta Z. Kwiatkowska' height='200'}]
%%
[{AcadMemberDataPlugin}]

\\ \\
\\ 
__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__
[{AcadMemberFOScholarshipPlugin}]
\\
__Honours and Awards__
* Fellow of the Royal Society, Fellow of ACM, Fellow of EATCS, Fellow of the BCS and Fellow of Polish Society of Arts & Sciences Abroad
*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}]