Baojian Hua
Assistant ProfessorSchool of Software Engineering (SSE)
University of Science and Technology of China (USTC)
email: bjhua - ustc.edu.cn
Hiring!
We are looking for new graduate students or interns to work with us. If you're interested in our research, contact us at: bjhua@ustc.edu.cn
We also have positions for the USTC SIAR joint programs!
Research
Topics:
- Programming languages and compilers;
- Computer security: the software-based approach.
Group:
- Baojian works with awesome students in the CSS group.
Current Teaching Activities in 2021
- Topics in Computer Security (Spring 2021)
- Formal Methods Foundation (Spring 2021)
New books!
- Formal Methods: Theory and Applications
- Bisheng Compiler: Principle and Practice
- Introduction to Register Allocation
-
Java Virtual Machine Design and Implementation: An Introduction
Short Bio
Baojian was educated in the computer science department of USTC (as a Ph.D. student), and then was educated in the computer science department of Clemson University, USA (as a visiting scholar). His main research topics include programming languages, compilers, and the software-based approach to computer security. He is members of CCF, IEEE, and ACM.Honors and awards:
- CCF-Tencent research fellowship
- USTC graduate mentorship award
- USTC-IFlyTech teaching award
- SSE excellent faculty award