Person

Jasper Nalbach

M. Sc.

Associated doctoral researcher

Jasper Nalbach
Lehr- und Forschungsgebiet Theorie Hybrider Systeme

Address

Building: 2352

Room: 4229

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21243
Fax Fax: +49 241 80 22243
 
Dissertation project

Algebraic Methods in SMT-Solving

Collaborations
Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
Engagement
Team Research Data Management
Talks
Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic