欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
大家好.
江涛: 现就职于某大型在线游戏公司作资询顾问,在开发和管理大规模分布式应用系统方面具有经验。对高性能网络编程和基于模式的系统架构有一定经验。
目前专注于ACE及ACE的推广培训工作。
软件设计方面擅长UML,C++,Use Case Driven Development,Architecture centric Design。