User:FtgDD

I am FtgDD. I work at Axivion GmbH, a subsidiary of the Qt Group, and at the Department of Computer Science of University of Freiburg. I am one of the maintainers of the Ultimate program analysis framework and contribute to various other open source projects.

I am interested in Computer Science, Program analysis, Formal methods, Formal verification, Abstract interpretation, SMT, and all things surrounding software quality assurance.