ABOUT CHI XIAO

  • Education

            I graduated from Virgninia Commonwealth University with a Computer Science Bachelor's degree on May 2011.
            I'm currently pursuing my Master's degree in Computer Science at UVa.

  • Research Area

            Applying and using Strata (Dynamic Binary Translation Infrastructure) to checking safety case assumptions at run time
            on the unmanned aircraft system.

  • Current Duty

            Research Assistant working with Professor John Knight .

  • Background

            I was born in Wuhan/Hubei, China. I finished all of my fundamental education in China before I came to US on 2008 to pursue my
            bachelor's degree. I love what I do, even though I feel frustrated from time to time when encountering difficult problems. No matter
            what, I will keep going on my current track, and this is an unshakeable destination for me.

Academic Advisors




  • Professor John Knight

    John Knight received his Ph.D. in Computer Science from Newcastle Upon Tyne in 1973. After two years at West Virginia University and seven years at NASA's Langley Research Center, he joined the UVa in 1981 as an Associate Professor of Computer Science. He spent 1987-89 at the Software Productivity Consortium, and was promoted to Professor in 1992. He served as General Chair of the International Conference on Software Engineering, and as Editor in Chief of the IEEE Transactions on Software Engineering from January 2002 to December 2005. He is a member of the editorial board of the Empirical Software Engineering Journal. He has directed six Ph.D. theses with three more in progress. He is the author or co-author of over 60 papers.

  • Professor David Primeaux

    My current research interest is bifocal, and aimed at (broadly) Computer and Information Systems Security (CISS), and Machine Learning.
    I am also interested in developing the computational theory associated with systems that exhibit emergent behavior and in developing applications for such systems. Examples of such systems are built using swarm algorithms, Genetic Algorithms, and COPEs. These systems can be used, for example, to model processes that are not well understood, or to address difficult optimization and classification problems.