Lu Feng is a research student at Oxford University Computing Laboratory, and a member of 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 DPhil 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.