From fae14b063c77d8faba5e9e2d64df2d555748be87 Mon Sep 17 00:00:00 2001 From: Christoph Cullmann Date: Sun, 7 Apr 2019 21:42:09 +0200 Subject: [PATCH] more useful links --- content/about.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/content/about.md b/content/about.md index f28c89b..a768e11 100644 --- a/content/about.md +++ b/content/about.md @@ -8,13 +8,17 @@ cullmann.io is the personal homepage of Christoph Cullmann. I work as a Senior Software Engineer at [AbsInt Angewandte Informatik GmbH](https://www.absint.com/). -My work is focused on static analysis of both binary and source programs and the WCET analysis of embedded systems. +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 for example on the [KDE](https://www.kde.org/) project and maintain the Kate/KWrite editor and the KTextEditor framework. +In my spare time, I work on various open source projects. -A list of the projects I contribute to are collected on the [Projects](/projects/) page. +For more details take a look at the [Projects](/projects/) page. ## Contact Information