Dana Fisman

Senior Academic
חבר/ת סגל אקדמי בכיר | The Stein Faculty of Computer and Information Science | Institute for the Theory of Computing חוקר במרכז | ביה"ס למדעי המח והקוגניציה
Prof. Dana Fisman
חבר/ת סגל אקדמי בכיר | The Stein Faculty of Computer and Information Science | Institute for the Theory of Computing חוקר במרכז | ביה"ס למדעי המח והקוגניציה
Building 37 - Alon Building for High-Tech Floor 1 Room 113
dana@bgu.ac.il
08-642-8943
0000-0002-6015-4170
Prof.
חבר/ת סגל אקדמי בכיר | The Stein Faculty of Computer and Information Science | Institute for the Theory of Computing חוקר במרכז | ביה"ס למדעי המח והקוגניציה
Research Profile Link
Personal Website Link

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 foundations