Assistant Professor Martín Ochoa
Eric is an ISTD PhD Student under the supervision of Martín Ochoa. His research interests include: systems security, applied formal methods, category theory and (co)algebraic methods.
- M.Sc. Engineering – Area: Systems and Computing (January 2009 – December 2010) at Universidad de los Andes, Colombia.
- B.Sc. Systems and Computing Engineering (January 2004 – December 2008) at Universidad de los Andes, Colombia.
- E. Rothstein Morris and J. Posegga, Idea: Enforcing Security Properties by Solving Behavioural Equations, Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pages 260-268, Cham, 2016. Springer International Publishing.