欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
贺新民, Morris
毕业于中国科技大学，Linux、FreeBSD的忠实拥护者，致力于Unix(Linux)、TCP/IP。
曾是NETBIG.COM的系统管理员，目前主要在研究Linux kernel。
个人专长: Unix(Linux)系统管理、系统编程、网络编程、内核编程
深入理解TCP/IP的原理及其实现
研究方向: Unix(Linux)、TCP/IP、Kernel、Security
最高爱好: 成为一名真正的Hacker
愿与更多自由软件爱好者一起成长！
