Difference between revisions of "He Xiao"

From FSL
Jump to: navigation, search
(Personal Info)
 
m
Line 5: Line 5:
 
Runtime verification:
 
Runtime verification:
 
I'm currently working as a team member in the project 'JavaMOP'.
 
I'm currently working as a team member in the project 'JavaMOP'.
 +
 +
== Previous Projects ==
 +
MPI Type Checker: [https://github.com/sessionc/mpi-pabble-extractor]
  
 
== Contact Info ==
 
== Contact Info ==

Revision as of 22:26, 1 September 2014

Contents

About me

I'm a first year PhD student advised by professor Grigore Rosu. I got BSc in University of Liverpool and MSc degree in Imperial College London.

Research interests

Runtime verification: I'm currently working as a team member in the project 'JavaMOP'.

Previous Projects

MPI Type Checker: [1]

Contact Info

2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801

Email: hexiao2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation