This commit is contained in:
Christoph Cullmann 2025-07-20 16:44:01 +02:00
parent f4a8c002cc
commit 50448f8e02
No known key found for this signature in database
119 changed files with 1735 additions and 9533 deletions

34
content/_index.md Normal file
View file

@ -0,0 +1,34 @@
+++
title = "Home"
aliases = ["/about"] # alias this to the old about page we moved here
menu = "main"
weight = 1
author = "Christoph Cullmann"
showDate = false
showAuthor = false
showReadingTime = false
+++
cullmann.dev is the personal web site of Christoph Cullmann.
The full sources of this web site can be found on [here](https://git.babylon2k.com/cullmann/www).
## 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.