Working With Rails

In the pragmatic field I am interested in the development of web applications, I’m responsible of maitenance of Dpto. de Computación (Computer Science Department) site and developer of escuela de verano (summer school) site. Actually I’m working for a Canadian Startup Company developing their site.

I’m teacher at the university in my city and my research field are “Formal Methods” for verification and validation of software (model checking, symbolic model checking, abstraction), I started studying in depth the model checking as part of my degree thesis, writing a characterization in a membership equational logic and in a rewriting logic in the Maude System of a data structures called BDDs (Binary Decision Diagrams), structurs used by symbolic model checkers to deal with the state space explosion problem.

For a few months I was working at INRIA in Sophia Antipolis – France about criptographics topics.