This course enables students to gain in-depth knowledge and skills in a range of advanced topics in computer science; core themes include programming languages and paradigms, specification, logic program verification and object-oriented software development; additional topics include system security, multimedia applications and internet application development.