Quantitative Verification Group

Members

Name
Benjamin KaminskiHead of Group
Linpeng ZhangPhD student (external at UCL)
You?Prospective PhD student