Approved in principle subject to:
This new course will replace the existing COMP4132 Advanced Functional Programming.
Jingling presented the proposal on Manuel's behalf.
Manuel's responses on 30 October 2006:
Trust in the safety and security of software systems is increasingly important with the use of software in systems where failure or sabotage can lead to loss of life or be very expensive (this includes medical and financial applications as well as software use for power grids, mass transport systems, and security infrastructure). This courses covers language-based safety engineering techniques including advanced type systems, formal reasoning, encapsulation of side effects, specification-based test generators, domain specific languages, and prototyping for high-assurance. It demonstrates at concrete examples, including security infrastructure software, how modern functional languages are used to achieve high assurance and conveys hands on experience by practical assignments.
The relationship to Richard's course is such that Richard teaches about security infrastructure (eg, specific cypto algorithms), whereas I teach about language-based methods to ease and increase the trust in the implementation of such infrastructure (eg, domain specific languages, such as Cryptol). So, both are perfectly orthogonal, but still both are concerned with security.
All three directions or specialisation areas (with the CS program?) were discussed quite intensively. It was noted that some universities such as QUT offer a degree called the Bachelor of Games and Interactive Entertainment. Courses on computer forensics are also available elsewhere.
Action: Richard to prepare a proposal for Computer forensics. (accepted)
Action: Malcolm to prepare a proposal for Games development. (accepted)
Action: Helen to prepare a proposal for Service-Oriented Computing. (accepted)
Richard, Malcolm and Helen are expected to report their findings at the next TC meeting.
School of Computer Science & Engineering
The University of New South Wales
Sydney 2052, AUSTRALIA
Phone: +61 2 9385 6876