Lu Feng

Lu Feng

Doctoral Student

Student, Trinity College

Leaving date: 28th February 2013

Themes:

Completed Projects:

Predictable Software Systems

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 about Learning−based Compositional Verification for Synchronous Probabilistic Systems | BibTeX data for Learning−based Compositional Verification for Synchronous Probabilistic Systems | Link to Learning−based Compositional Verification for Synchronous Probabilistic Systems
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 about Automated Learning of Probabilistic Assumptions for Compositional Reasoning | BibTeX data for Automated Learning of Probabilistic Assumptions for Compositional Reasoning | Link to Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Compositional Verification of Probabilistic Systems using Learning

L. Feng‚ M. Kwiatkowska and D. Parker

In Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10). Pages 133–142. IEEE CS Press. 2010.

Details about Compositional Verification of Probabilistic Systems using Learning | BibTeX data for Compositional Verification of Probabilistic Systems using Learning | Link to Compositional Verification of Probabilistic Systems using Learning

Activities

Supervisor

Marta Kwiatkowska