Patrick Nossol
Skills
Timeline
Professional experience for Patrick Nossol
- 2 months, Sep 2024 - Oct 2024
Wissenschaftliche Hilfskraft
RWTH Aachen, Software Modeling and Verification Group
Paper basierend auf Masterarbeit zum Thema Software Verification. Einreichung zur Konferenz CAV 2025 (https://conferences.i-cav.org/2025).
- 2021 - 2023
Wissenschaftliche Hilfskraft
RWTH Aachen, Virtual Reality & Immersive Visualization Group
Programmieren eines Motion Capture Systems in der Unreal Engine für eine Studie. Resultierend in Paper "Who's next?: Integrating Non-Verbal Turn-Taking Cues for Embodied Conversational Agents" veröffentlicht unter https://dl.acm.org/doi/10.1145/3570945.3607312.
Extrachor Theater Aachen (10 Produktionen). Projekt bei Opera Zuid (Niederlande). Vokalensemble Caleidon (Spegtra 2022/23).
Educational background for Patrick Nossol
- 6 years and 11 months, Oct 2017 - Aug 2024
Informatik
RWTH Aachen
Note: 1.8. Masterarbeit: Entailments in quantitative separation logic with recursive definitions: constructing cyclic proofs (Note: 1.0). Veröffentlicht auf https://publications.rwth-aachen.de/record/994779.
Languages
German
C2 (Expert / native speaker)
English
C1 (Fluent)
XING members with similar profiles
XING – The job board
Over 1 million jobs
Find just the right job for you on XING.
Job offers just for you
Get found by employers and over 20,000 recruiters.
21 million members
Connect with new people and gather inspiration to boost your working life.
Free membership
Basic membership is free, but the opportunities are priceless.