Matthew Parkinson
Principal Researcher
뉴스 & 기능
로딩중
어워드 | Views: Compositional reasoning for concurrent programs
Views paper wins “Most Influential POPL 2013 paper”
어워드 | jStar: towards practical verification for Java
jStar paper wins “Most Influential OOSPLA Paper 2008”