COMP2111 System Modelling and Design 1 Who are we? Lecturer in - - PowerPoint PPT Presentation

COMP2111 System Modelling and Design

1

Who are we?

Lecturer in Charge: I am Dr. Christine Rizkallah, a lecturer at UNSW who works on, among other things, formal verification and programming languages. I work on several projects with Data61. Lecturer: Dr. Paul Hunter is a casual lecturer at UNSW who works on, among other things, theoretical computer science including algorithms and verification. Guest lecturer: Prof. Carroll Morgan works at UNSW and

• Data61. His research interests revolve around formal methods and

information flow security. Course admin: Dr. Liam O’Connor is a casual academic at UNSW who works on formal methods and programming languages with various companies and the people at Data61. Tutors: Vivian Dang and Mathew Di Meglio who have both worked on programming languages and security at UNSW.

2

Contacting Us

http://www.cse.unsw.edu.au/~cs2111

Forum There is a Piazza forum available on the website. Questions about course content should typically be made there. You can ask us private questions to avoid spoiling solutions to other students.

I highly recommend disabling the Piazza Careers rubbish.

Administrative questions should be sent to liamoc@cse.unsw.edu.au and c.rizkallah@unsw.edu.au.

3

What is this course about?

Put the word engineering back into SE. Climb up the ladder of evolution: 1 Craft code that (provably) works according to specifications. 2 Cobble together code that passes a few tests. 3 Crap out code so it beats the compiler’s checks.

4

Course Structure

The course content will be as follows (subject to change): Week 1: Calculating with Logic, Carroll Week 2: Discrete Maths Recap, Paul Week 3: Recursion and Induction, Paul Assignment 1 Week 4: Propositional Logic, Paul Assignment 1 due Week 5: First-Order Logic, Christine Assignment 2 Week 6: Flexibility Week Assignment 2 due Week 7: Lambda Calculus, Higher-Order Logic, Christine Week 8: Hoare Logic, Christine Assignment 3 Week 9*: Hoare Logic cont’d, Christine Assignment 3 due Week 10: State Machines, Automata, Paul Week 11*: Wrap-up, Revision, Christine

*Monday Week 9 is a public holiday. Monday Week 11, there will be a lecture.

5

Assessment

Warning For many of you, this course will present new topics. Even if you are a seasoned programmer, you may have to learn from scratch. Three assignments, each worth 10%. Weekly online quizzes (except weeks 6 and 11), worth 16%. Class participation, worth 4%. Final exam, worth 50%.

6

Resources

Course website Short post by Liam O’Connor Books:

E Lehman, FT Leighton, A Meyer: Mathematics for Computer Science C Morgan: Programming from Specifications John C. Reynolds: The Craft of Programming KA Ross and CR Wright,: Discrete Mathematics

7