Baojian Hua

Assistant Professor
School of Software Engineering (SSE)
University of Science and Technology of China (USTC)
email: bjhua -


  • Programming languages and systems: design, compilation, semantics , testing, and verification;
  • Security: certifying compilers, theorem provers, type systems, logics, webs, mobile platforms, symbolic executors, etc..


Teaching Activities in 2014-2015

Short Bio

Baojian Hua is now an assistant professor in SSE, and the director of software study and education. Before that, he was educated in the computer science department of USTC and got a Ph.D. in 2008. During the spring semester of 2013, he has been a visiting assistant professor in computer science department of Clemson University, USA. His main research topics include computer softwares and the software-based approach to computer security. He is members of both CCF and ACM.

Honors and awards:

  • CCF-Tencent Research Fellowship (2013)
  • USTC graduate education award (2012)
  • USTC-Xunfei teaching award (2011)
  • SSE excellent employee award (2010)