diff options
author | Christoph Cullmann <cullmann@kde.org> | 2019-04-07 21:42:09 +0200 |
---|---|---|
committer | Christoph Cullmann <cullmann@kde.org> | 2019-04-07 21:42:09 +0200 |
commit | fae14b063c77d8faba5e9e2d64df2d555748be87 (patch) | |
tree | b55ebb4222fe379bce6b444e17435eb80d54f949 /content | |
parent | 1e9a67e12d144941eb6a076f4e94067f691acfaa (diff) |
more useful links
Diffstat (limited to 'content')
-rw-r--r-- | content/about.md | 10 |
1 files 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 |