Jan Philipp Hafer

Automation of image data processing to detect surface anomalies for defect recognition. Focus on Low Level and Design things like build system, SPS debugging + config + integration, optimizations, but generally working Full Stack based on customer use cases. C++14 to C++20 Migration (and beyond). Finished write-up on Python, Zig, C++, C and wip writeups on debugging lib design, process semantics, continuous integration lib design at https://matu3ba.github.io/.

Embedded Software Development with focus on test automation, related devops, documentation, system design, guidelines. Wrote integration test framework for optionally network virtual and real hardware using tests besides bigger changes like charging schedule evaluation of OCPP1.6 and 2.01. At this time, I completed the integer routines of compiler_rt for Zig, did an 2-key press setup to execute tests, learned (neo)vim, used it for formal modeling with venn.nvim and started learning system design trade-offs.

Requirement analysis; Investigating potential data sources and state of the art in data connection of hospitals; Protocol for data investigation

C# mostly; Co-supervision of institute project (construction of scanning tunnel microscope [STM]). Maintenance of sputtering system (PDI-heat control, improvements), control and GUI of STM walker.

Lua; Matlab; C; Channel current measurements of resistive memory; Evaluation and plots; Programming of measurement instructrements (Keithley SCS4200 + others)

Delayed by birth of son in April 2020. Thesis "Property Directed Equivalence of PLC Programs". Incremental Regression Verification: try to prove program equivalence between over-approximation of reachable states. Complexity, test cases, performance of own implementation and idea on general scalability (saving program changes by the editor) are presented. Automation and formal methods Medicine (Software development by IEC 62304) Publication "A Characterization of Political Communities on Reddit"

Thesis "Eigenvalue decomposition for Reachability Analysis in Hybrid Systems". Reachability analysis of unsafe states from initial states was applied on Hybrid Automata [HA]. Eigenvalue decomposition simplifies computing the matrix exponential into dimension-wise independent parts, which is used to compute the reachable states of the HA. Theory: Compiler construction, digital currency, Lyapunov functions for Software correctness, overview of AI methods Practice: Tracking of model cars