Greg Sullivan，Dover Microsystems
跟随
关于
Greg Sullivan是Dover Microsystems的首席科学家和联合创始人。在他的角色中，他专注于将基本研究从网络安全，正式方法和编程语言应用到现实世界产品的实际问题。自收到他的博士以来。从东北大学，专注于编程语言的正式语言，Greg一直从事网络安全，编程语言，正式方法，自适应软件，软件工程，机器学习和AI规划的研究。Greg一直是各种DARPA资助项目的主要调查员，包括崩溃安全项目，该项目产生了核心架构所基于核心架构的一些核心思路。
网页链接
