Freelance software engineer. Topics I've worked on over the past ~10 years: - Interpreters (LLVM-related) - Software verification & symbolic execution - Systems programming - Computer architecture - Software engineering and architecture - High-performance computing - On-chip debug systems for RF transceivers - Software tools for the analysis of RF engines
Senior Software Engineer (C++) at Open-Xchange
MSc., Computer Science