Sasha Rubin
Since March 2012 I am a joint postdoc with Helmut Veith at TU Wien and Krishnendu Chatterjee at IST Austria.
My main interest is in theoretical computer science. Specifically, I have worked on:
- the connections between automata and logic, specifically structures presentable by automata and the expressive power of logical interpretations.
- finite model theory.
- verification of probabilistic systems.
My present topics are in formal methods, distributed systems, and game theory.
When I’m not working I feed my addiction to Brazilian percussion, flamenco, and rock climbing.
Sasha Rubin
Latest News
CAV 2013 in St. Petersburg!
Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.
[Read More...]Florian Zuleger in the Austrian Newspaper “Der Standard”
Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.
[Read More...]Joint Workshop between CMACS and RiSE in Washington, DC
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
[Read More...]