You are here

Silvio Ranise

Head of Unit
  • Phone: 0461314192
  • FBK Povo
Short bio

Silvio Ranise received his Ms. Eng. in 1997 at the University of Genova (Italy) and his PhD in Computer Engineering from the University of Genova (Italy) and the University H. Poincare ́ (Nancy, France) in 2002 in the context of a joint PhD program between Italy and France. He works at FBK in the S&T Research Unit as Senior Researcher since April 2010. His previous appointments are: assistant professor at the U. H. Poincare ́ in 2001-2002, INRIA researcher at the LORIA computer science laboratory of Nancy in 2002-2008, research associate at the University of Verona (in the context of the EU Project AVANTSSAR) in 2008-2010, visiting professor at the Department of Computer Science of the University of Milano. His research focuses on formal methods for the automatic analysis of security-sensitive applications and he has published more than 65 papers in international conferences and journals on automated analysis of security policies, infinite state model checking, and Satisfiability Modulo Theories (SMT) solving. He has been initiator and co-ordinator of the SMT-Lib initiative, and started the SMT workshop series on SMT techniques. He has also given tutorials on SMT and infinite state model checking techniques at international conferences. In 2010, he received the HVC award for his “pivotal and continuous role in building and promoting the SMT community.” 

Publications
  1. D. Déharbe; S. Ranise; J. Vidal,
    prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework,
    in «JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY»,
    vol. 14,
    2008
  2. S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli,
    vol.5195,
    2008
    , pp. 67-
    82
    , (Automated Reasoning, 4th International Joint Conference, IJCAR 2008,
    Sydney, Australia,
    08/12/2008 a 08/15/2008)
  3. S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli,
    Decision Procedures for Extensions of the Theory of Arrays,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 50,
    n. 3-4,
    2007
    , pp. 231 -
    254
  4. S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli,
    Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems,
    2007
    , (Automated Deduction – CADE-21,
    Bremen, Germany,
    07/17/2007 a 07/20./2007)
  5. S. Ranise; C. Scharff,
    Building Extended Canonizers by Graph-Based Deduction,
    2007
    , (Theoretical Aspects of Computing – ICTAC 2007,
    Macau, China,
    09/26/2007 a 09/28/2007)
  6. S. Ranise; C. Ringeissen; D. K. Tran,
    Combining Proof-Producing Decision Procedures,
    2007
    , (Frontiers of Combining Systems 6th International Symposium, FroCoS 2007,
    Liverpool, UK,
    09/10/2007 a 09/12/2007)
  7. S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli,
    Noetherianity and Combination Problems,
    2007
    , (Frontiers of Combining Systems 6th International Symposium, FroCoS 2007,
    Liverpool, UK,
    09/10/2007 a 09/12/2007)
  8. S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli,
    Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies,
    2007
    , (Logics in Artificial Intelligence 10th European Conference, JELIA 2006,
    Liverpool, UK,
    09/13/2006 a 09/15/2006)
  9. B. Beckert; T. Hoare; R. Hähnle; D. R. Smith; C. Green; S. Ranise; C. Tinelli; T. Ball; S. K. Rajamani,
    Intelligent Systems and Formal Methods in Software Engineering,
    in «IEEE INTELLIGENT SYSTEMS»,
    vol. 21,
    n. 6,
    2006
  10. Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Silvio Ranise; Peter van Rossum; Roberto Sebastiani,
    Efficient theory combination via boolean search,
    in «INFORMATION AND COMPUTATION»,
    vol. 204,
    n. 10,
    2006
    , pp. 1493 -
    1525

Pages