Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Carlos Gonzalia's Home Page

Carlos Gonzalía's Home Page

About me

I'm a PhD student at the Department of Computing Science, School of Computer Science and Engineering, Chalmers University of Technology and Göteborg University. I received my degree of Licenciate in Computer Science from Göteborg University in May of 2002.

How to reach me

E-mail:
Phone: +46-(0)31 772 1019
Fax: +46-(0)31 165655
Room: 6120 (6th floor), EDIT-building, Rännvägen 6B. Campus map - Getting here
Postal address:

Department of Computing Science,

Chalmers University of Technology,

SE-412 96 Göteborg,

Sweden

Research interests

I'm a member of the Programming Logic Group at Chalmers. I'm working on formalizing relation calculi in constructive type theory using a computer proof assistant. Details and publications can be found here.

Academic and teaching

I have attended several schools and meetings.

Personal

If you are curious about me, you can read more here.

Disclaimer - Carlos Gonzalía, 2004