Jump to Navigation

David Sanán

David Sanán's picture
First Name: 
David
Last Name: 
Sanán
Role: 
Former Members
Research interests: 
Use of formal methods on software verification.
Summary: 

Dr. David Sanán is an Postdoctoral Researcher at National University of Singapore. His research interests include sesign, analysis, research, development and application of formal methods for systems verification. David earned his PhD in Computer Science from University of Málaga in 2011.



Main menu 2

by Dr. Radut