cullmann.io/content/about.md

+++
title = "About"
author = "Christoph Cullmann"
+++

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

The full sources of this web site can be found on [GitHub](https://github.com/christoph-cullmann/cullmann.io).

## Professional Life

I work as a Senior Software Engineer at [AbsInt Angewandte Informatik GmbH](https://www.absint.com/).

My work is focused on [static program analysis](https://en.wikipedia.org/wiki/Static_program_analysis) on both binary and source level.

For binary programs, the worst-case [stack usage](https://www.absint.com/stackanalyzer/) or [execution time](https://www.absint.com/ait/) are computed.

For source programs, [coding rules](https://www.absint.com/rulechecker/) or [run time errors](https://www.absint.com/astree/) 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](/projects/) page.

## Contact Information

My contact information can be found on the [Impressum](/impressum/) page.