Eric Gerard Rothstein Morris

Home / People / PhD Students / Eric Gerard Rothstein Morris
Go back to faculty list

PhD Student

Pillar / Cluster: Information Systems Technology and Design


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.

Selected Publication

  • 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.
Go back to faculty list