Penn Arts & Sciences Logo

Computation Theory

a)    Nadia Heninger

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.