b) Sampath Kannan Algorithms, program reliability, and computational biology.
c) Andre Scedrov Logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods.
b) Sampath Kannan Algorithms, program reliability, and computational biology.
c) Andre Scedrov Logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods.