Chalmers has recruited Carl-Johan Seger as Professor in Computer Science, working on verification tools. Read full interview on Chalmer’s WASP homepage.


Published: October 30, 2017

Latest news