Faculty Experts
Shiu-Kai Chin
Professor Chin’s research interests include computer/cyber security, systems assurance and formal verification.
Professor Chin’s research uses mathematical logic for the design and verification of trustworthy computer systems. Examples of computer systems that must be trustworthy are command and control systems, financial services, and distributed control of the power grid. His focus is on policy-based design and verification with an emphasis on using computer-assisted reasoning using higher-order logic theorem provers.
Shiu-Kai supports the Air Force’s research in trustworthy systems and hardware-based security. His work with JP Morgan Chase was used to reason about the security and integrity of credentials and entitlements in large-value commercial transactions.
Related Stories and Coverage
-
Wired
Data Breaches Can’t Be Stopped, But Maybe Slowed
Tuesday, September 12, 2017, By Sawyer Kamman -
STEM
Q&A: Shiu-Kai Chin on Cybersecurity
Tuesday, July 11, 2017, By Cyndi Moritz -
Campus & Community
INSCT, NATO CCDCOE to Host Cyber Espionage Workshop
Wednesday, June 17, 2015, By Martin Walls -
Campus & Community
Interim Vice Chancellor Liddy Creates Academic Affairs Faculty Fellow Positions
Tuesday, January 27, 2015, By Carol Boll -
L.C. Smith College of Engineering and Computer Science will celebrate National Engineers Week
Thursday, February 7, 2008, By News Staff -
Shiu-Kai Chin named interim dean of L.C. Smith College of Engineering and Computer Science
Wednesday, May 24, 2006, By News Staff