Background
Distefano, Dino Son of Antonino Distefano and Maria Vitanza.
- Photos
- Works
- Photos
- Works
Dino Distefano
Edit Profile
Dino Distefano, research scientist. Achievements include development of groundbreaking automatic techniques for the use of mathematical logic to prove the integrity of computer software. Research grant, Engineering and Physical Sciences Research Council England, 2009. Member of Association Computing Machinery.
Education
Master of Science, University Pisa, Italy, 1997. Doctor of Philosophy, University Twente, Netherlands, 2003.
Career
Research associate Queen Mary University London, 2004—2007. Research fellow Royal Academy Engineering, since 2007. Director Monoidics Ltd., London, since 2009.
Achievements
Membership
Member of Association Computing Machinery.
