sort pages
This commit is contained in:
parent
4186a9f1e6
commit
7a8df42248
4 changed files with 0 additions and 0 deletions
31
content/about/index.md
Normal file
31
content/about/index.md
Normal file
|
@ -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.
|
Loading…
Add table
Add a link
Reference in a new issue