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

Lu Feng

Personal photo - Lu Feng
Lu Feng
Doctoral Student
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.

Details | BibTeX | Link

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 | Link

Learning−based Compositional Verification for Synchronous Probabilistic Systems

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

No. RR−11−05. Department of Computer Science‚ University of Oxford. 2011.

Details | BibTeX

Info

Themes

Automated 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