Go to the homepage of Department of Computer Science (cs.au.dk)

Aarhus Universitet

{$plugin.au_config.secondaryLogoTexten}

Department of Computer Science

Navigation

MAINLY FOR

Hovedmenu

YOU ARE HERE: Research » Areas » Programming Languages » Courses

Courses

Fall courses

Computability and Logic (Q1)
Concurrency (Q1)
Models for Concurrency and concurrent games (Q1)
Server-based Web Programming (Q1)
Compilation (Q1+Q2)
Client-based Web Programming (Q2)
Contract-Based Programming 2 (Q2)
Operating Systems (Q2)

Spring courses

Introduction to Functional Programming (Q3)
Static Analysis (Q3)
Types in Object-Oriented Languages (Q3)
Web Technology (Q3)
Abstract Interpretation (Q4)
Functional-Programming Techniques (Q4)
Programming Languages (Q4)
Regularity and Automata (Q4)
Software Verification (Q4)

Comments on content:

Marianne Dammand Iversen

Revised 2011.10.07

Faculty

Anders Møller
Associate Professor, PhD
Phone: +45 8942 5777
Email: amoeller@cs.au.dk

Erik Ernst
Associate Professor, PhD
Phone: +45 8942 5685
Email: eernst@cs.au.dk

Michael I. Schwartzbach
Professor, PhD
Phone: +45 8942 5774
Email: mis@cs.au.dk

Olivier Danvy
Associate Professor, PhD
Phone: +45 8942 9339
Email: danvy@cs.au.dk

Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark

Email: cs@cs.au.dk
Tel: +45 8715 4112
Fax: +45 8715 4113

CVR no: 31119103
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245

©Comments to web editor