Julia Janice Tillman

MS student, Universität des Saarlandes

Joined

September 2022

Names

Julia Janice Tillman (Preferred)

Emails

****@stud.uni-saarland.de (Confirmed)

Personal Links

Career & Education History

MS student

Universität des Saarlandes (uni-saarland.de)

2020 – Present

Undergrad student

Universität des Saarlandes (uni-saarland.de)

2017 – 2020

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Formal Specifications from Natural Language
Christopher Hahn, Frederik Schmitt, Julia Janice Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
- Published: 01 Feb 2023, Last Modified: 14 Jan 2026
- Submitted to ICLR 2023
- Readers: Everyone

Co-Authors