INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • UFRN/ForAll hires Visiting Scientist

    (0)
    Publicado em April 18th, 2013Uncategorized

    Richard Bonichon, on leave from CEA-LIST, will be hired as a Visiting Scientist at UFRN, where he will develop research at the INES-sponsored laboratory ForAll. Richard Bonichon is a developer of the Frama-C static analysis tool and a specialist in the automatic analysis and verification of concurrent programs using abstract interpretation and model checking.

    ,