Master Student
Born: 1995
mhatzl
Manuel Hatzl
@HatzlManuel
German: Native
English: Cambridge C1
Rust: Very Good
C: Good
Java: Basic
Ada/SPARK: Basic
Python: Basic
SPARK - Crate of the Year
AdaCore
2021
Software Engineering
Requirements Engineering
Formal Verification
Software Architecture
Markup Languages
Software Documentation
University Augsburg, TUM, LMU | Augsburg & Munich
2022 - Present
Paris Lodron University | Salzburg
2019 - 2022
HTBLuVA | Salzburg
2009 - 2014
Ismaning, Aug 2023 - Sep 2023
Created a lightweight approach to manage traces between requirements and implementation.
Salzburg, Sep 2019 - Sep 2022
My tasks included writing and managing integration tests for hardware components.
Salzburg, Oct 2020 - Jan 2021
I was helping other students to solve programming assignments in Java and wrote tests for those assignments in JUnit5.
Eggelsberg, May 2015 - Jun 2019
I was working on various software projects and spent one and a half years in the technical customer support.
Salzburg, Oct 2014 - Apr 2015
In Austria, every man over 17 must do either military or community service.
A new markup language to be used for READMEs, scientific papers, static websites, and books
(https://github.com/unimarkup/specification)
A reference compiler for Unimarkup written in Rust
(https://github.com/unimarkup/unimarkup-rs)
Logging framework for Rust using IDs to track logs
(https://github.com/mhatzl/logid)
A library to create pub/sub functionality for applications written in Rust
(https://github.com/mhatzl/evident)
A command line tool for lightweight requirements tracing
(https://github.com/mhatzl/mantra)
Library providing formally verified data structures written in Ada/SPARK
(https://github.com/mhatzl/spark_unbound)