INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • 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.

    ,