cullmann.io is the personal web site of Christoph Cullmann.

The full sources of this web site can be found on GitHub.

Professional Life

I work as a Senior Software Engineer at AbsInt Angewandte Informatik GmbH.

My work is focused on static program analysis on both binary and source level.

For binary programs, the worst-case stack usage or execution time are computed.

For source programs, coding rules or run time errors are checked.

Open Source Projects

In my spare time, I work on various open source projects.

For more details take a look at the Projects page.

Contact Information

My contact information can be found on the Impressum page.