VERIWARE - News
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:
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.
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.
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.