Informatics News

An ERC Consolidator Grant for Nir Piterman

An ERC Consolidator Grant for Nir Piterman

Posted by nw91 at Dec 01, 2017 09:36 AM |

We are delighted to announce that Nir Piterman has just been awarded a prestigious European Research Council (ERC) Consolidator grant!

The DSynMA grant, worth 1,872,272, will take distributed synthesis to this new frontier by considering novel interaction and communication concepts that would create an adaptable framework of correct-by-construction application of collaborating devices.

Grant abstract:

Computing is changing from living on our desktops and in dedicated devices to being everywhere. In phones, sensors, appliances, and robots – computers (from now on devices) are everywhere and affecting all aspects of our lives. The techniques to make them safe and reliable are investigated and are starting to emerge and consolidate. However, these techniques enable devices to work in isolation or co-exist. We currently do not have techniques that enable development of real autonomous collaboration between devices. Such techniques will revolutionize all usage of devices and, as consequence, our lives. Manufacturing, supply chain, transportation, infrastructures, and earth- and space exploration would all transform using techniques that enable development of collaborating devices.
When considering isolated (and co-existing) devices, reactive synthesis – automatic production of plans from high level specification – is emerging as a viable tool for the development of robots and reactive software. This is especially important in the context of safety-critical systems, where assurances are required and systems need to have guarantees on performance. The techniques that are developed today to support robust, assured, reliable, and adaptive devices rely on a major change in focus of reactive synthesis. The revolution of correct-by-construction systems from specifications is occurring and is being pushed forward.
However, to take this approach forward to work also for real collaboration between devices the theoretical frameworks that will enable distributed synthesis are required. Such foundations will enable the correct-by-construction revolution to unleash its potential and allow a multiplicative increase of utility by cooperative computation.

A Prestigious Machine Learning Publication by Leandro Minku

Posted by nw91 at Nov 23, 2017 11:41 AM |

Congratulations to Leandro Minku, whose paper "A Systematic Study of Online Class Imbalance Learning with Concept Drift" has recently been accepted for publication in the IEEE Transactions on Neural Networks and Learning Systems!

Read More…

Leicester passes 4 million readers milestone on The Conversation

Leicester passes 4 million readers milestone on The Conversation

Posted by ap507 at Sep 19, 2017 12:20 PM |

With topics ranging from North Korea to Brexit, to flying warehouses and Jupiter's Great Red Spot, Leicester experts have contributed a wide variety of opinion articles to the platform

Read More…

Expert opinions cover South African politics and cloud computing

Expert opinions cover South African politics and cloud computing

Posted by ap507 at Aug 31, 2017 10:10 AM |

The Conversation and Think: Leicester talking points: a range of topical issues tackled by academics between 24 - 31 August

Read More…

Article by Piterman appears in the JACM

Posted by nw91 at Aug 29, 2017 01:32 PM |

Nir Piterman has had a paper published in the prestigious Journal of the ACM.

Read More…

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom

Accessibility

DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.