July 2016: Marta Kwiatkowska gave an invited lecture entitled "Model checking and strategy synthesis for mobile autonomy: from theory to practice" at the ICALP 2016 conference this month. See here for the slides and here for the paper.

July 2016: Marta Kwiatkowska, Gethin Norman and Dave Parker have been given the 2016 HVC award for "the invention, development and maintenance of the PRISM probabilistic model checker." For more details, see here.

June 2016: Marta Kwiatkowska gave a semi-plenary lecture entitled "Model checking and strategy synthesis for mobile autonomy: from theory to practice" at the ECC 2016 conference this month. See here for the slides and here for the paper.

December 2015: HeartVerify wins the 2015 Valuable Artifacts Prize sponsored Dr Steve Moyle. VERIWARE/VERIPACE team members who received the £500 prize and a trophy are Benoit Barbot, Alexandru Mereacre, Nicola Paoletti and Andrea Patane. The aim of this prize is to identify great items or 'artifacts' that could be developed further. HeartVerify is a plug-and-play framework for the analysis and verification of pacemaker software and personalised heart models. Its compatibility with MATLAB Stateflow and extensibility facilitates applications in other domains. For more information see:
http://www.cs.ox.ac.uk/news/1052-full.html

September 2015: Article "Organic 'computers' made of DNA could process data inside our bodies" by Marta Kwiatkowska is published in The Conversation, a collaboration between editors and academics to provide informed news analysis and commentary

September 2015: Marta Kwiatkowska gave a keynote lecture entitled "Estimation and verification of hybrid heart models for personalised medical and wearable devices" at the CMSB 2015 conference this month. See here for the paper.

August 2015: Article entitled "Guiding the folding pathway of DNA origami" published in Nature this month. DNA origami is a technique that is used to create nanometre-scale shapes by folding strands of DNA. The paper reports on scientific findings that demonstrate the existence of efficient folding pathways - analogous to the folding landscape of proteins. DPhil student Frits Dannenberg, who is supervised by Professors Marta Kwiatkowska and Andrew Turberfield, developed the folding model that was successfully used to predict the outcome of experiments. This research contributes to the rational design of DNA nanostructures and devices. More information can be found on the Oxford Science Blog.

June 2015: Marta Kwiatkowska gave a keynote lecture entitled "On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets" at the Petri Nets 2015//ACSD 2015 conference this month. See here for the paper.

January 2015: Marta Kwiatkowska gave a course on "Probabilistic model checking" at the POPL 2015 conference this month. See here for the slides in pdf and here for a picture taken by Prakash Panangaden.

November 2014: Marta Kwiatkowska awarded an honorary doctorate at KTH Royal Institute of Technology’s annual doctoral degrees ceremony in Stockholm. She has been recongnised for being a driving force behind the development of probabilistic and quantitative verification methods within computer science. KTH’s annual promotion continues traditions that date back to the 12th century, involving ceremonial hats, laurels, rings and performances of Swedish choral music. The setting of the ceremony may be familiar to many – it is the same place where Carl XVI Gustaf, the King of Sweden, awards the Nobel Prize. The picture, see here, is taken on the staircase of the famous City Hall where the banquet was held.
For more information see
https://www.kth.se/en/aktuellt/nyheter/skogens-foradlare-blir-hedersdoktor-1.510264
http://www.cs.ox.ac.uk/news/851-full.html

September 2014: VERIWARE/VERIPACE paper "Formal Modelling and Validation of Rate-Adaptive Pacemakers" (see [KLMP14]) wins best paper award at the IEEE International Conference on Healthcare Informatics (ICHI 2014) in Verona. The paper was co-authored by Harriet Lea-Banks (who contributed to the project during a summer internship funded by VERIWARE), Alex Mereacre, Nicola Paoletti and Marta Kwiatkowska. The paper was presented by Nicola who is shown receiving the award here.

July 2014: The VERIWARE team welcomes Professor Masami Hagiya from the University of Tokyo who leads the Molecular Robotics project (see here). On 14th July the project organised a mini-workshop, which included presentations by Professor Hagiya, as well as Professors Luca Cardelli and Andrew Turberfield.

May 2014: Marta Kwiatkowska gave a course on "Probabilistic model checking with PRISM" at the SSFT'14 summer school this month. See this page for resources.

October 2013: Marta Kwiatkowska awarded ERC Proof of Concept Grant VERIPACE. See here for more details.

August 2013: Two more postdoctoral positions are available in automated verification and synthesis on VERIWARE. Candidates with prior experience of applications to biology are particularly encouraged to apply. Applications close on 30th September 2013. See here for more details.

June 2013: The VERIWARE team welcomes Professor Sayan Mitra from University of Illinois at Urbana Champaign and an NSF CAREER Award holder. Sayan is visiting for one month as part of the new ERC-NSF initiative to collaborate on hybrid systems. More information on this initiative is available here.

April 2013: Two postdoctoral positions are now available in automated verification and synthesis on VERIWARE. Applications close on 31st May 2013. See here for more details.

April 2013: Marta Kwiatkowska will give lectures on Probabilistic Model Checking to doctoral students in Warsaw; see here for more information.

April 2013: PRISM features this week in a tutorial on probabilistic hybrid systems at CPSWeek 2013, run by Marta Kwiatkowska and Holger Hermanns.

March 2013: VERIWARE researchers reach semi-finals in the One Start competition. Infinipace, a team of five researchers, will now present their idea of a 'perpetual' cardiac pacemaker at a bootcamp in London. For more information see http://www.cs.ox.ac.uk/news/621-full.html.

January 2013: Marta Kwiatkowska has been invited to give keynote lectures at TASE 2013 (7th International Symposium on Theoretical Aspects of Software Engineering), ICTAC 2013 (10th International Colloquium on Theoretical Aspects of Computing) and ATVA 2013 (11th International Symposium on Automated Technology for Verification and Analysis). She will also give a tutorial at ATVA 2013.

September 2012: Marta Kwiatkowska will give this year's Milner Lecture, entitled "Sensing everywhere: on quantitative verification for ubiquitous computing", at the University of Edinburgh on 25 Sep 2012.

April 2012: Two postdoctoral positions are now available at Oxford on the VERIWARE and Autonomous Ubiquitous Sensing projects. Applications close 25 April 2012. See here and here for more details.

February 2012: We please to announce the release of PRISM-games, a new extension of PRISM for model checking stochastic multi-player games.

September 2011: VERIWARE will join four other ERC-funded projects, SMSCom, PBM-FIMBSE, LUCRETIUS and QUAREM, for a Workshop on Software Quality.

October 2010: A fully funded PhD studentship is now available at Oxford on the new VERIWARE project. Applications close 31 Dec 2010. See here for more details.

March 2010: Two postdoctoral positions are now available at Oxford on the forthcoming VERIWARE project. Applications close 7 May 2010. See here for more details.

March 2010: Two fully funded PhD studentships are now available at Oxford on the forthcoming VERIWARE project. Applications close 4 May 2010. See here for more details.

November 2009: Marta Kwiatkowska has been awarded a highly competitive European Research Council Advanced Investigators Grant for the new 5-year project VERIWARE. See the press release and overview for more details.