Quantitative Verification Group
News
Benjamin Kaminski
Members
Teaching
Seminar SS 2022
Seminar WS 22/23
Members
Name
Benjamin Kaminski
Head of Group
Linpeng Zhang
PhD student (external at
UCL
)
You?
Prospective PhD student