diff options
Diffstat (limited to 'content/about/index.md')
| -rw-r--r-- | content/about/index.md | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/content/about/index.md b/content/about/index.md new file mode 100644 index 0000000..f8620ee --- /dev/null +++ b/content/about/index.md @@ -0,0 +1,31 @@ ++++ +title = "About" +author = "Christoph Cullmann" +showDate = false +showAuthor = false +showReadingTime = false ++++ + +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. |