Our MSc student Daniel Kienitz has just won James Watt PhD Scholarship, that will fund his PhD studies on Verification of Neural Networks. Many congratulations, Daniel, for winning the Scholarship competition, and huge welcome to PhD research team of LAIV!
Next week, we are presenting our work on Coinduction and Horn clauses at ESOP and HCVS in Prague, both part of the ETAPS, European Joint conference on Theory and Practice of Software.
At the end of March 2019, LAIV will have a marathon of Masterclass presentations by MSc students:
|LAIV Masterclass: Survey of Deep Learning: Methods and Applications
|LAIV Masterclass: Convolutional Neural nets
|LAIV Masterclass: Keras and Adversarial example generation
The LAIV Seminars page holds full details of venues and times.
Huge welcome to our new academic visitor, Dmitry Rozplokhas from the Programming Languages and Tools lab, JetBrains. Dmitry is an MSc student at the Higher School of Economics, St Petersburgh and already has a publication at PPDP’18! He will work with us until June 2019 on the topic of coinduction in relational programming. Welcome to LAIV members, Dmitry!
The next Scottish Programming Language Seminar will be held at St Andrews University, on 13th March: https://eb.host.cs.st-andrews.ac.uk/SPLS-Feb19/
We are launching the webpage of the newly opened Lab for AI and Verification (LAIV): laiv.uk