Associate Professor
חבר/ת סגל אקדמי בכיר
Faculty of Computer and Information Science, Institute for the Theory of Computing
37 - Alon Building for High-Tech Floor 1 Room 113, Marcus Campus
Prof. Dana Fisman
Departments
-
08-642-8943
Staff member contact section
About
Dana Fisman's research focuses on the foundations of formal verification and system design, with the goal of improving the reliability and correctness of computerized systems. She develops mathematical and algorithmic frameworks for specifying, verifying, analyzing, measuring, and learning system behavior. Her work draws on logic, automata theory, algorithmic game theory, .computational learning theory, and other mathematical foundationsThe University bears no responsibility for the content displayed on this page or on any other faculty members’ pages. Full responsibility for the content rests solely with the faculty members themselves, who independently update and manage the information on their pages
