2015年4月23日-24日，中国科学院计算所孙晓明研究员来访。23日晚上做了题为“Stable matching, Quantum　 computing, P vs. NP”的学术报告。孙晓明研究员通过大量例子深入浅出地向与会同学介绍了稳定匹配、量子计算以及P与NP问题的研究背景，展示了理论计算机科学研究的魅力。