Rodrigo Castaño


I am a Computer Science PhD student at Universidad de Buenos Aires since 2013 with a CONICET scholarship.

My PhD topic is centered around improving software model checkers when they produce inconclusive results, that is, when they cannot find a bug but have not finished exploring the whole state space.

Besides my academic work, I have gained valuable industry experience through several internships, both in leading companies, like Google, Facebook and Microsoft and at outstanding research institutes, like INRIA Nancy.

Aside from that, I enjoy classical music and play the violin on a regular basis. I used to play tennis fairly well and I still play every once in a while. I am also a very impatient, and not quite good, fly fisherman, but the landscapes of Patagonia can soothe the beasts.

Feel free to look around and follow any links. Questions and comments are always welcome.