Get my own profile
Public access
View all10 articles
1 article
available
not available
Based on funding mandates
Co-authors
Stephan ArltFederal Office for Information SecurityVerified email at bsi.bund.de
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Cristiano BertoliniResearcher, Federal University of PernambucoVerified email at cin.ufpe.br
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Huascar SanchezComputer Scientist @ SRI InternationalVerified email at sri.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
Atif MemonProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Linghui LuoAmazon Web ServicesVerified email at amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Cole SchlesingerResearch Engineer, Galois Inc.Verified email at schlesinger.tech
Aritra SenguptaAutomated Reasoning Group, AWS.Verified email at cse.ohio-state.edu
Lee PikeAWS Automated Reasoning GroupVerified email at amazon.com
Martin KelloggAssistant Professor, NJITVerified email at njit.edu