Sasha Rubin

I have moved to DIETI, UNINA.

I work in theoretical computer science. Specifically, I have contributed to:

  1. logical methods for reasoning about multi-agent systems (including planning in AI, and verification of distributed systems),
  2. the theory of games on graphs,
  3. finite model theory and the connections between automata and logic.


Latest News

Laura Kovács joins FORSYTE as full professor

We welcome Laura Kovács, who joined the FORSYTE group as a full professor of computer science in April 2016. Laura also holds a part-time associate professorship at the Chalmers University of Technology, Sweden. Her research deals with the design and development of new theories, technologies, and tools for program analysis, with a particular focus on […]

Continue reading

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

Continue reading

Full news archive