Sundaresan Krishnan is an author at Google (United States) specializing in formal verification, system software, and software testing.
Top concepts
CompilersEngineeringData ScienceFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2012–2015
2
2
Rows per page
1–2 of 2