Christoph Cullmann
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 and a formally verified C compiler is offered.
Open Source Projects
In my spare time, I work on various open source projects. The most work goes into Kate, the GUI text editor I maintain since two decades.
For more details take a look at the Projects page.
Contact Information
My contact information can be found on the Impressum page.
Cartoon-like Me :P
