User:FtgDD

Source: Wikipedia, the free encyclopedia.

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
.

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:FtgDD&oldid=1220398265"