blob: cead85dfb6794525af2e0d50de936ee31d9cf734 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
+++
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.
|