Programming Languages
- Members of the Programming Languages group at the Dept. of Computer Science, Aarhus University (November 2011)
Focus points
Semantics, logics, and implementations of programming languages (interpreters, compilers, and virtual machines); domain-specific languages; program analysis and transformations; web programming; concurrency; embedded systems; global computing, mobility, and security; specification and verification of software.
Activities
Regular research meetings take place as part of the PL Seminar. More informal activities take place as part of the weekly PL Entropy meetings. All events are public and anyone is welcome. If you would like to participate please contact Ian Zerny to hear more.