VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Dana Fisman

Not registered as user yet

Name:Dana Fisman
Bio:

I am a research scientist at UPenn, working in the area of formal verification. In the past I touched topics in the area of model checking, temporal logic, parameterized systems and reactive synthesis.

One focal point of my work was the laying of a firm mathematical foundation for industrial-oriented temporal logics. These works had a major impact on the IEEE standards PSL (IEEE-1850) and SVA (IEEE-1800). The chapter Cindy Eisner and I wrote for the handbook of model checking summarizes these works.

Recently, I became interested in algorithmic game theory and computational learning theory and I am trying to utilize ideas from these areas to the area of formal verification. See the Rational Synthesis paper with Orna Kupferman and Yoad Lustig, and the Learning Regular Omega Languages paper with Dana Angluin.

Affiliation:University of Pennsylvania

Contributions

POPL 2016 T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
T3: Syntax-Guided Synthesis (SyGuS)
Show activities from other conferences

POPL 2016-profile
View general profile