Jakob Lykke Andersen

I work on formal methods for modelling and analysing chemical systems (algorithmic cheminformatics) and combines it with algorithm engineering to obtain implementations that are useful in practice. I am in general interested in algorithmics (in particular graph algorithms) and generic programming.