Welcome

Formal Techniques in Software Engineering

The FoTS research lab now is part of the Ansymo group.
Please visit our new website at ansymo.ua.ac.be for up-to-date information.

This website will no longer be maintained and only remains online for archival purposes.

Formal Techniques in Software Engineering (FoTS) is a research group at the University of Antwerp, Department of Mathematics and Computer Science. FoTS currently contains 5 members: Prof. dr. D. Janssens, dr. Hans Schippers (TA), dr. Peter Ebraert and PhD candidates Tim Molderez and Margarete Sackmann.
Our main research topic is about using formal techniques like Graph Rewriting in the context of Software Engineering. We use discrete structures, especially graphs, to reason about refactoring, aspect oriented programming and model driven software development.

You can find more specific information at the research page.