Dependable Software: An introduction to verifying the safety of software systems & Workshop in Numerical Partial Differential Equations
2pm: Dr. Rosemary Monahan, MU, Dependable Software: An introduction to verifying the safety of software systems.
Brief synopsis of lecture content:
In this presentaion we overview two techniques that provide for the verifcation of software systems: Deductive Verification and Model Checking. Deductive verification supports reasoning about software systems, guaranteeing the correctness of their source code with respect to their formal specification: the source code is verified in a modular way and typically considers both behavioral properties e.g. calculates the longest repeated substring, and safety properties e.g. null dereference, out of bounds errors, termination, arithmetic overflow. Model checking provides for the verification of a model of the system under verification, by determining if the model satisfies a given property. Properties which can be verified range from simple reachability or invariant properties, to temporal properties of the software model. The model checking problem is solved algorithmically by a procedure that decides if the model satisfies the property or finds a counterexample the shows how the model violates it. A wide range of open-source tools for both techniques are available.
3-5pm: Dr Lennon O’Naraigh, UCD, Workshop in Numerical Partial Differential Equations (PDEs)
Brief synopsis of lecture content:
In this two-hour workshop we will introduce the concept of finite-difference methods for the numerical solution of generic parabolic partial differential equations (PDEs). We will show how such PDEs can be solved numerically. Thereafter, we will have a hands-on session where participants can write and run their own PDE solver.
Although many black-box approaches to solving numerical PDEs exist (and are extremely good), it is good to have such foundational knowledge. In this way, participants in this workshop will be able at the end to use black-box methods with more confidence, and be able to interpret the output of such methods with a critical eye.
Participants will definitely require laptops. Participants will be supplied with some code examples in Matlab. Participants can therefore use Matlab in the hands-on session, or can convert the code examples into another language (e.g. Python).
Dr Rosemary Monahan an Associate Professor in the Department of Computer Science and an affiliate of the Hamilton Institute at Maynooth University. She holds BSc and MSc degrees in Computer Science from UCD and a PhD from DCU. Rosemary, specialising in the static and dynamic analysis of software systems, is a leader in the area of formal software verification tools and techniques, as well as benchmarking their usage for academia and industry. Her expertise involves working with international academics and industry to develop and employ techniques increasing the dependability and safety of software systems, including automated systems (such as those in the medical, automotive, and aerospace domains). Much of her recent work has been directed towards providing a category-theoretic basis for modular specification in the Event-B modelling language, allowing formal interoperability with other systems through a heterogeneous specification environment. Rosemary is currently PI on an SFI Discover project (2019-2021).
Dr Lennon O’Naraig:Lecturer in Applied and Computational Mathematics in University College Dublin, since 2010. Previously, Postdoc in Department of Chemical Engineering in Imperial College London (2009-2010). PhD in Applied Mathematics in Imperial College London (2005-2008). Author of over 30 publications in mathematical modelling in general and multiphase flow in particular. Developer of TPLS multiphase flow supercomputer model. Collaborator with a wide variety of industrial partners and international scientific institutions (Edinburgh, Kyushu, Lyon).
The SFI Centre for Research Training in Foundations of Data Science will train a cohort of PhD students with world-class foundational understanding in the horizontal themes of Applied Mathematics, Statistics, and Machine Learning.
Let us be part of your #PhD journey. 36 fully-funded studentships waiting to be filled starting in Sept 2021. Hear what our students say about the CRT @UCDGS @UL @MaynoothUni @IUAofficial #believeinscience #phdchat
For perfomance reasons we use Cloudflare as a CDN network. This saves a cookie "__cfduid" to apply security settings on a per-client basis. This cookie is strictly necessary for Cloudflare's security features and cannot be turned off.