Stephan Stiller   

Stephan Stiller

Assistant Lecturer

Tel  3943 8758


Stephan received a Bachelor of Science in Linguistics & Philosophy from the Massachusetts Institute of Technology (MIT) and a PhD in Computer Science from Stanford University, with a thesis about network security from a theoretical perspective. He also studied Mandarin and Cantonese at CUHK's Chinese Language Centre (CLC). At the Unicode Consortium, where he is a life member, he contributes to the maintenance and expansion of the repertoire of Han characters (Chinese characters as they are used in various East Asian languages). Before joining the ILC, he worked at CUHK's School of Journalism and Communication as a researcher. His personal interests include language learning, lexicography, and Chinese musical instruments.

Selected Publications

“Innovations in the area of social media” (main contributor; with Annisa Lee) in Oxford Textbook of Public Mental Health (Dinesh Bhugra et al), 2018 doi:10.1093/med/9780198792994.001.0001

“Symbolic Protocol Composition Logic: Proving network protocols to be secure” (PhD thesis), Stanford University, 2014

Stanford Journal of East Asian Affairs (SJEAA), vol 11 no 1 (editor-in-chief); ISSN 1550-767X

“Protocol Composition Logic” (main contributor; Anupam Datta et al) in Formal Models and Techniques for Analyzing Security Protocols (VĂ©ronique Cortier & Steve Kremer), IOS Press, 2011; 182-221; ISBN 978-1-60750-713-0

“SRL-based Verb Selection for ESL” (Xiaohua Liu et al), Conference on Empirical Methods in Natural Language Processing (EMNLP 2010)