Home

Latest News

Viviane 4 rector

Viviane heeft zich vandaag kandidaat gesteld voor het mandaat van rector. "Open, levende campussen, geïntegreerde internationalisering, en excellentie in onderwijs en onderzoek zijn een paar elementen in mijn beleidsplan die geënt zijn op de sfeer die ik hier op SOFT mag ervaren. Stem voor mij :-)"

As of today, Viviane is running for...

Post-doctoral position in Programming Technology for Complex Concurrent Systems

The Software Languages Lab of the Vrije Universiteit Brussel in Belgium has an opening for a post-doctoral researcher in the field of concurrent programming within the context of the “Meta-level Engineering and Tooling for Complex Concurrent Systems“ FWO research project. The position is a full-time position for...

Three post-doctoral positions open until filled

We are welcoming applications for 3 vacant positions for post-doctoral researchers with respective expertise in formal aspects of programming languagessoftware analysis and tooling, or reactivity and event-based...

SOFT @ SPLASH 2015

This October the SOFT is co-organizing two workshops at SPLASH 2015 :

About

Printer-friendly version

The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB). The Software Languages Lab was founded in 2009 as a merger of the Programming Technology Lab and the System and Software Engineering Lab. The Software Languages Lab is currently headed by Prof. Dr. Theo D'Hondt, Prof. Dr. Viviane Jonckers, Prof. Dr. Wolfgang De MeuterProf. Dr. Elisa Gonzalez Boix and Prof. Dr. Coen De Roover

Broadly speaking, the lab is active in the design, implementation and application of better languages to support the software engineering life cycle. This includes 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, …)

Have a look at our research page for more details.