Department of Computer Science
\n3061 Kemper Hall
\nUniversity of California
\nDavis, CA 95616<\/p>\n
Professor Levitt’s research lab web page<\/a><\/p>\n Email: levitt at cs.ucdavis.edu Professor Levitt conducts research in the areas of computer security, automated verification, and software engineering. With respect to computer security he is working on techniques to detect malicious code (viruses, worms, time bombs, etc.) in programs and to detect attempts to penetrate or misuse computer systems, especially computer networks. With respect to verification, he is applying an automated theorem prover (Higher Order Logic – HOL) to the verification of hardware and software systems, especially operating systems for safety-critical embedded systems. With respect to software engineering, he is working on new methods for testing programs that make use of heuristic techniques and methods for automating the generation of operating system code from templates.<\/p>\n","protected":false},"excerpt":{"rendered":" Professor Karl Levitt Department of Computer Science 3061 Kemper Hall University of California Davis, CA 95616 Professor Levitt’s research lab web page Email: levitt at cs.ucdavis.edu Phone: (530) 752-0832 Professor Levitt conducts research in the areas of computer security, automated verification, and software engineering. With respect to computer security he \u2026 Continue reading
\nPhone: (530) 752-0832<\/p>\n