Lu Feng
|
|
Lu
Feng
Room 452, Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
Selected Publications
| PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2009 Programme Co-Chairs: Lu Feng, John Lyle and Nicolas Wu No. RR-09-14. OUCL. November, 2009. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
|
|
Supervisor |
