About me

My name is Santiago Saavedra (aka ssaavedra in GitHub and ssice in Twitter). I'm a Computer Scientist graduated at University of A Coruña.

I'm currently a Research Assistant at GPD - Complutense University of Madrid for a project called CAVI-ART, where I work on a validation assistant for formally proving programs.

I'm also the President of the Group of Linux Users and Programmers (GPUL) , a non-profit based in A Coruña where we try to educate and promote free software and free culture initiatives. Our latest project is GPUL Labs, a space to foster collective imagination and incubate free software projects.

I have a passion for computer science, technology, instrumental music and information.

My favourite text editor is GNU Emacs.

My friends with blogs are these:

Santiago is a participant in the Amazon EU Associates Programme, an affiliate advertising programme designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.es.

If you are interested in trying out Amazon Premium, consider going through this link.