You are here: Home Team Nico Hauff

Nico Hauff

 

 

Research Interests

Requirements Engineering, Natural Language Processing

Publications

ORCiD, DBLP, Google Scholar

MSc Thesis

  • Simulator for Formalized Requirements. 2022.

Tools

Lectures & Seminars

  • Supervise students in BSc Pro-/Seminar Automatentheorie (summer semester 2023, 2024)
  • Co-organize Softwarepraktikum (winter semester 2022, 2023)

Student Project Co-/Supervisions

If you are interested in a project or thesis, send me an email. Choose a topic from the list below, or bring your own.

BSc Project Detection of Variable Constraints in (Parallel) Execution of Phase Event Automata in the Hanfor Simulator 2024
Internship Replication: Neural termination analysis (Reference) 2023
BSc Thesis Monitoring real-time requirements in ROS2 (Reference) 2023
BSc Thesis Complementation of Phase Event Automata 2023

Consultation Hours

Please send me an email to make an appointment.