Eric Gerard Rothstein Morris

PhD Student

Pillar / Cluster: Information Systems Technology and Design

Supervisor

Assistant Professor Martín Ochoa

Biography

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.

Education

  • 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.