Latest News

Thesis Proposals online

The thesis proposals for master students are online and can be found here. If you have questions regarding one of the thesis topics, you are welcome to drop by at 10F on Friday 9 May. All assistants mentioned in the online proposals will be present to...

SOFT Seminar

Always wanted to know what is going on on the 10th floor of the F/G building? Any idea what you could do at the VUB after your master? Or just curious about the latest developments? Then subscribe for a seminar!
Organised by infogroep and presented by the research labs of DINF. The Software Languages Lab will present at Thursday, April...

Open Position

The Software Languages Lab has an open position for a PhD student, aiming to do research on programming languages, in particular, on program verification for dynamic distributed programming languages. Applications for this position are no longer open

Summer of Code
The Software Languages Lab is organizing a summer camp for students that want to implement mobile (distributed) applications. More info https://soft.vub.ac.be/soft/summerprojects


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 and Prof. Dr. Wolfgang De Meuter.

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

Check out our research page for more details.