Ana Bove's Home Page

Since February 2010, I am an Associate Professor (Docent) in the Programming Logic group at the Logic and types division of the department of Computer Science and Engineering at Chalmers university of technology and University of Gothenburg in Göteborg, Sweden.

Here you can find a short cv (pdf).

Latest News

Contact Information

Email: bove(at)chalmers(dot)se
Phone: (46) (31) 772 10 20
Visiting Address: Rännvägen 6B , oom 6116
Postal Address: Department of Computer Science and Engineering
       Chalmers University of Technology
       S-412 96 Göteborg
       SWEDEN