Jian Xiang
Jian Xiang

Postdoc Researcher
School of Engineering and Applied Sciences
Harvard University

Bio Sketch

I am a Postdoctoral Researcher in the John A. Paulson School of Engineering and Applied Sciences at Harvard University working with Stephen Chong and his group. I received my Ph.D. in Computer Science at the University of Virginia, under the supervision of John Knight and Kevin Sullivan.

Areas of Interest

Software dependability, formal verification, type system, and language-based security

Research Interests

Safe-critical systems are of extreme importance to society due to the high cost of their failures. Dependability of such systems requires delivering reliable, safe, and trusted services. The primary goal of my research is to help engineers build dependable software systems. I am investigating various approaches to achieve this goal. Specific topics include language-based security, formal and Natural languages in software systems, type system, and verification.
I am also interested in the application of Semantic Web techniques, especially for the integration of cross-domain system models, knowledge representation, and requirements elicitation/reconciliation process.




I worked as a Teaching Assistant for the following courses:


Email is the best way to contact me: jxiang@seas.harvard.edu. I can be physically found in the Maxwell DWorkin Hall, room 309 in Harvard University. The address is:

309 Maxwell Dworkin
33 Oxford St
Cambridge MA 02138


I named my beloved daughter Ada, hoping that she will be as smart as Ada Lovelace and as tough as Ada Wang