University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Lu Feng

Personal photo - Lu Feng
Lu Feng
Doctoral Student
Student, Trinity College
lu.feng@cs.ox.ac.uk

Room 452, Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

Lu Feng is a doctoral student at the Department of Computer Science, University of Oxford, and a member of the Trinity College, Oxford. She holds a B.Eng in Information Engineering from the Beijing University of Posts and Telecommunications (China) and a M.Phil in Computer Speech, Text and Internet Technology from the University of Cambridge. She is currently pursuing a D.Phil in Computer Science as part of the Predictable Software Systems component of the EPSRC-funded Large-Scale Complex IT Systems initiative. Her supervisor is Professor Marta Kwiatkowska.

Selected Publications

View all

Manage publications

Learning−based Compositional Verification for Synchronous Probabilistic Systems

L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker

In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11). Vol. 6996 of LNCS. Pages 511–521. Springer. 2011.

To appear

Details | BibTeX

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

L. Feng‚ M. Kwiatkowska and D. Parker

In D. Giannakopoulou and F. Orejas, editors, Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11). Vol. 6603 of LNCS. Pages 2–17. Springer. 2011.

Details | BibTeX

Compositional Verification of Probabilistic Systems using Learning

Lu Feng‚ Marta Kwiatkowska and David Parker

In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10). IEEE CS Press. September, 2010.

Details | BibTeX | Link

Info

Themes

Verification  | Foundations, Logic and Structures

Activities

Probabilistic Model Checking | Quantitative Analysis and Verification

Projects

Predictable Software Systems

Supervisor

Share this page: Facebook Twitter Digg Del.icio.us StumbleUpon