Welcome to Advanced Program Verification
With the growing dependence on and use of IT in society, the correct functioning of software applications is a primary concern for both developers and users. In this course students will become acquainted with a number of state-of-the-art techniques and tools for formal analysis and verication of software including type systems, static analysis, model checking, and automated theorem proving. The main focus of the course is to give an overview of the various tools and techniques, but will also dive deep into specific topics, e.g., secure information flow, programming languages for distributed computing or the use of theorem proving assistants. The course will take place over six (6) full days with the first four (as 2x2 full days) focusing primarily on an overview and the last two on a more specialised topic. Each course session will use a mix of lectures, exercises, hands-on projects, discussions and (student) presentations.
Mathematical maturity, good working knowledge of programming languages (semantics, compilers, interpreters); advantage with basic knoweldge of type systems
Upon completion of this course the student will:
(*) know and be able to correctly apply the relevant general terminology used within the verication community
(*) know the fundamental theories and structures within the topics covered in the course
(*) be able to dene and apply basic program verication tools and techniques to simple/intermediate projects/programs
(*) be able to nd and further study relevant advanced literature within the eld of program verication and apply it to their own research.
Organizer: Associate Professor Rene Rydhof Hansen
Lecturers: Flemming Nielson (DTU), Aslan Askarov (AU)
Number of seats: 25
Important information concerning PhD courses: We have over some time experienced problems with no-show for both project and general courses. It has now reached a point where we are forced to take action. Therefore, the Doctoral School has decided to introduce a no-show fee of DKK 3,000 for each course where the student does not show up. Cancellations are accepted no later than 2 weeks before start of the course. Registered illness is of course an acceptable reason for not showing up on those days. Furthermore, all courses open for registration approximately four months before start. This can hopefully also provide new students a chance to register for courses during the year. We look forward to your registrations.
- Teacher: René Rydhof Hansen