张淞

张淞 1989 年 1 月出生于黑龙江省绥芬河市，酷爱数学、物理，进入大学后开始喜欢学习与研究各类编程语言，并成为了一名 Haskell 爱好者。2012 年 7 月于英国诺丁汉大学获得计算机科学本科学位。2013 年 11 月于英国牛津大学获得计算机科学硕士学位。目前喜欢学习与研究 λ 演算、 类型系统、抽象代数、范畴论、逻辑证明、组合数学等内容。