SOFT (Software Languages Lab) – Design, implementation and application of better languages to support the software engineering life cycle.

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, …)

Our partners