While at Whitman, Professor Benaroch has taught courses on customer relationship management analytics, management of information technology (IT), IT and Electronic Commerce, decision-support and data mining technologies, and database management. He has also taught at the Israeli Institute of Technology (Technion), New York University, and the University of Rochester.

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.

His interests lie in security systems related to the internet and smartphones. he specializes in cyber-security and studies of operating systems including Apple and Android. His expertise lies in identifying problems in the design of applications and developing tools to detect them. Professor Du develops improved access control for mobile systems and also is able to comment on general mobile devices including Apple.

He has spoken at various conferences like Samsung Research America and  in Beijing. Additionally he has been a part of many es and has written an array of publications.