Discover the ANU College of Engineering and Computer Science (CECS)
Connect with us
Interested in Engineering or Computer Science?
Learn why you should study here.
Learn about our research capabilities and how you can get involved with the College.
Learn how industry can connect with the college
Get involved in Computer Science Internship Program.
Find out what's happening in our College.
Find out how you can get involved in CoDesign »
Graduating is just the beginning. Share your story, give back and get involved..
30 years of ANU Engineering »
50 years of ANU Computing »
Search Engineering, Computing & Cybernetics
Programming languages (design and implementation), Automatic memory management (garbage collection), Memory models, Concurrency
Formal methods, Interactive theorem proving
Updated: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing
+61 2 6125 5111
The Australian National University, Canberra
TEQSA Provider ID: PRV12002 (Australian University)
CRICOS Provider : 00120C
ABN : 52 234 063 906