// I'm Felix Brüning (M.Sc.)
"The price of reliability is the pursuit of the utmost simplicity." - Tony Hoare (1980)
I am a PhD student in the Working Group Operating Systems, Distributed Systems at the University of Bremen.
The programming languages that I prefer the most are C/C++, Java, Haskell and Python. Modelling languages: UML V2.0, SysML V1.X, V2.0, CSP
I am specialized in safety-critical systems and formal verification.
// Curriculum vitae
| 2022 - now | PhD | Verification of safety critical systems with the use of ai |
|---|---|---|
| 2020 - 2021 | M.Sc. Computer Science | Model-driven generation of CSP code for verification of railway networks |
| 2016 - 2020 | B.Sc. Computer Science | IXL-Model Checking with FDR4 |
// Work Experience
| 2021 - 2022 | Working at Verfied Systems International GmbH | Verification Engineer, Software-Engineer, full time |
|---|---|---|
| 2018 - 2021 | Working at Mueller-Elektronik | Software Developer C/C++/C#, part time. |