Team Members

John Mylopoulos

ProfessorComputer Science, uOttawa

John's main research interests are requirements engineering, data semantics and knowledge management. He also holds a professor emeritus position at the Universities of Trento and Toronto. Personal Webpage

Daniel Amyot

ProfessorComputer Science, uOttawa

Daniel's research interests span many domains, from requirements/software engineering to modelling, regulatory compliance, and healthcare informatics.Personal Webpage

Luigi Logrippo

ProfessorComputer Science, UQO

Luigi's research interests are mainly in formal methods in security, privacy, governance and telecom engineering. He also holds a professor emiretus position at uOttawa.Personal Webpage

Amal Ahmed Anda

Post-doctoralComputer Science, uOttawa

Amal's research focuses on Cyber-Physical SystemsPersonal Webpage

Sofana Alfuhaid

Ph.D. CandidateDigital Transformation and Innovation, uOttawa

Sofana’s research focuses on Blockchain and the specification and implementation of Smart Contracts in Cyber Physical Systems.Personal Webpage

Alireza Parvizimosaed

Post-doctoralComputer Science, uOttawa

Alireza's research focuses on the specification and formal verification of Smart Contracts in the scope of Cyber-Physical Systems (CPS).Personal Webpage

Aidin Rasti

M.Sc. Computer Science, uOttawa

Aidin's research focuses on the generation of smart contracts from Symboleo specifications, for the Hyperledger Fabric platformPersonal Webpage

Regan Meloche

M.Sc. CandidateComputer Science, uOttawa

Regan's research combines NLP and ML to semi-automate the generation of Symboleo specifications from natural language legal contract templatesPersonal Webpage

Daniel Sousa-Dias

M.Sc. CandidateComputer Science, uOttawa

Daniel's research targets the use of homomorphic encryption for addressing privacy concerns in smart meters.
Personal Webpage

Durga Sivakumar

M.Sc. CandidateComputer Science, uOttawa

Durga's research focuses on the development of a Web-based IDE for editing and transforming Symboleo specifications.
Personal Webpage

Collaborators

Marco Roveri

Associate ProfessorDepartment of Information Engineering and Computer Science -DISIUniversity of Trento, Italy

Marco's research interest is mainly formal verification, symbolic model checking and requirement analysis.Personal Webpage

David R. Amariles

Associate ProfessorData Law and Artificial Intelligence, HEC Paris

David's work analyses the transformations of law and regulation in the global and digital society with a special focus on the fields of privacy, financial law, business transactions and corporate social responsibility.Personal Webpage