Ana Bove's Home PageSince 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).
- Division head for the Logic and types division from January 2020.
- Equality coordinator at the department of Computer science and engineering from January 2020.
- PC member of LSFA 2020.
- Inviter speaker of a special session on Proofs and Programs at the ASL European Logic colloquium 2020.
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