Programming languages, formal languages, design languages, meta languages, modeling languages, domain specific languages, etc. The Software Languages Lab covers all aspects of the research spectrum, including:

• Design of languages (advanced modularity, distribution, concurrency, context, …)
• Formal study of languages (type systems, abstract interpretation, static analysis, contract systems, …)
• Efficient implementation of languages (virtual machines, parallelization, scheduling, …)
• Tool support for languages (IDEs, debuggers, versioning tools, evolution support, refactoring, …)
• Applications of languages (android applications, RFID‐enabled applications, web applications, embedded applications, city-ware, …)