Computer scientist, interested in logics, programming languages, parallel and distributed computation, photography, I also like to climb mountains and play this ancient game called go.