jpeg image of Anders Lindahl

Anders Lindahl

C99, spexare, Secoit.

My public PGP key: Key DC9C4353, fingerprint 21D9 46EE 254F 8146 FC6B 4754 3EEF E674 DC9C 4353

Projects

I presented my thesis "Complementation of Büchi automata: A survey and implementation" February 2004.