Simon Huber

Postdoc in the Programming Logic Group at the Department of Computer Science and Engineering, University of Gothenburg.


Publications and drafts

Some slides from talks

Other


Contact

Email: simon.huber(at)cse(dot)gu(dot)se or simonhu(at)chalmers(dot)se

Tel: +46 (31) 772 54 10 (defunct)

Rännvägen 6
Rum 6103, floor 6
EDIT building, Campus Johanneberg