欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Stone Jiang
来自开放百科 - 灰狐
(重定向自Stone Jiang)
江涛
简介
于07年底创立了TAO工作室 (它的前身ace-tao.org注册于2004年),工作室专注于分布式实时及嵌入式(DRE)方面和应用,深入研究DRE约十年。利用相关技术独立或与第三方合作开发的产品已成功应用于多个领域,包括国防、公安、国安以及民用的机场安保等。曾服务于08奥运、10年亚运。先后为多家军校提供过不同类型的技术合作,也为多所研究所提供过培训服务或其它形式的服务,包括中船重工716所,中船系统工程,中电15所,空军某研究院等。
联系方式
网站:TAO工作室
电子邮件:jiangtao [at] tao-studio.net
分享您的观点