Cadence Design Systems (United States) — United States
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(23), Logic, programming, and type systems(20), Model-Driven Software Engineering Techniques(13), Embedded Systems Design Techniques(7), Logic, Reasoning, and Knowledge(5)
Publications73 total
Frequent Co-authors
Dmitry Korchemny(28), E. Cerny(27), Surrendra Dudani(27), Cindy Eisner(7), Dana Fisman(7), Alan C. Bovik(5), Marios S. Pattichis(4), Nicholas D. Sidiropoulos(4), David Van Campenhout(3), Scott Little(3), Yoad Lustig(2), Anthony McIsaac(2), E. Allen Emerson(1), Richard Trefler(1), Doron Bustan(1), Subhankar Mukherjee(1), Pallab Dasgupta(1), Siddhartha Mukhopadhyay(1), Srikanth Chandrasekaran(1), Magdy S. Abadir(1)