Nils Lommen

Research Assistant and PhD Student

RWTH Aachen | Office: Room 4208 at Ahornstraße 55 | Phone: 80-21214

Activities

So far, I have been involved in the following research activities:

• SV-Comp jury member: 2025 and 2026
• TACAS artifact evaluation committee member: 2025 and 2026
• iFM artifact evaluation committee member: 2025
• External reviewer for the workshop on Horn Clauses for Verification and Synthesis (HCVS) 2025