Axel is an engineer interested in how stuff actually works, e.g. kernels and operating systems, processors and hardware architectures, cryptography ...

Linux enthusiast. I like coding in Rust, C and Python

focus in verification of real time embedded control system using static analysis, theorem proving