Home

Latest News

Meet & Greet with Aperitif at DINF

On Saturday 20th of September, the Vrije Universiteit Brussel will organize its second big Homecoming day. The Computer Science department will round off the day by inviting their alumni to a Meet & Greet with Aperitif. We will start at 17:30 in the rooms of the department at...

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

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 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.