Master Student
Born: 12.04.1995
hatzlmanuel@outlook.com
mhatzl
Manuel Hatzl
@HatzlManuel
German: Native
English: Cambridge C1
Rust: Very Good
C: Good
Java: Basic
C#: Basic
Python: Basic
SPARK - Crate of the Year
AdaCore
2021
Formal Verification
Markup Languages
Requirements Engineering
Software Architecture
Software Documentation
Software Engineering
Elite graduate program of University of Augsburg,
Technical University of Munich (TUM),
Ludwig Maximilian University of Munich (LMU)
Augsburg & Munich, Germany
2022 - Present
Paris Lodron University
Salzburg, Austria
2019 - 2022
Higher Technical School (HTBLuVA)
Salzburg, Austria
2009 - 2014
Augsburg, Germany, Dec 2023 - present
Building Rust tooling for security critical embedded devices.
Ismaning, Germany, Aug 2023 - Sep 2023
Created a lightweight approach to manage traces between requirements and implementation.
Salzburg, Austria, Sep 2019 - Sep 2022
My tasks included writing and managing integration tests for hardware components.
Salzburg, Austria, Oct 2020 - Jan 2021
I was helping other students to solve programming assignments in Java and wrote tests for those assignments in JUnit5.
Eggelsberg, Austria, May 2015 - Jun 2019
I was working on various software projects and spent one and a half years in the technical customer support.
A new markup language inspired by Markdown, HTML, and CSS.
https://github.com/unimarkup/specification
A reference compiler for Unimarkup written in Rust.
https://github.com/unimarkup/unimarkup-rs
Test runner for embedded Rust using GDB and defmt.
https://github.com/mhatzl/embedded-runner
A command line tool for lightweight requirements tracing.
https://github.com/mhatzl/mantra