cs-faculty-Drusinsky - Computer Science
Faculty
Asset Publisher
Doron Drusinsky
My research interests are in several areas of computer science. In the past these included automata, run-time verification and execution-based model checking. In recent years, these have been replaced by the intersection of biometric authentication and cryptography, the intersection of biometric authentication and cryptocurrency, the adaptation of AI to the verification of cyber-physical systems, and business applications of zero-knowledge proofs.
Professor
Ph.D., Weizmann Institute of Science, Rehovot, Israel, 1988