欢迎来到本尊的鱼缸 - Nothing is true and everything is permitted.
Description: USTC Computer Systems and Security Group homepage
software engineering (1150) compiler (235) computer security (215) ustc (32) computer system (20) program verification (3) formal method (2) type system (2) program language design (1)
The Computer Systems and Security Group (CSS Group) at USTC conducts research on computer systems and security. Our research has an interdisciplinary style: from programming language design to compiler implementation, from type systems to verifications, from security to software engineering.
We are looking for new graduate students or interns to work with us. If you're interested in joining our group, contact us at: [email protected]
We also have positions for the USTC SIAR joint programs!
欢迎来到本尊的鱼缸 - Nothing is true and everything is permitted.