Since 2012 , he is professor emeritus of the University of Maryland Department of Computer Science in College Park .
Since 2012 , he also sat on the technical advisory board for the static analysis company Fortify Software .
Since 2012 , he is professor emeritus of the University of Maryland Department of Computer Science in College Park , and also sat on the technical advisory board for the static analysis company Fortify Software .