Difference between revisions of "He Xiao"

From FSL
Jump to: navigation, search
m
m
 
Line 4: Line 4:
 
== Research interests ==
 
== Research interests ==
 
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':[https://github.com/runtimeverification/javamop].
  
 
== Previous Projects ==
 
== Previous Projects ==

Latest revision as of 22:51, 1 September 2014

Contents

[edit] 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.

[edit] Research interests

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

[edit] Previous Projects

MPI Type Checker: [2]

[edit] 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