Ramiro obtained the MsC degree in 2006 from Universidad Nacional de Rio Cuarto, and the Ph.D. degree in 2014 from McMaster University, Canada. He was a postdoctoral researcher in the Fondazione Bruno Kessler, Italy.
His main research focuses on automated and semi-automated formal techniques for software development, including automated verification techniques such as model checking and synthesis from specifications for fault-tolerant systems based on these technologies.