About

Hi, my name is Carmen (my pronouns are she/her).

I hold a doctorate in Industrial Engineering from the University of Toronto and trained under the tutelage of Prof. Michael Gruninger in the Semantic Technologies Lab.

I specialize in the design and analysis of ontologies in first-order logic, particularly automated reasoning and verification, in addition to knowledge representation and modelling in multidisciplinary areas.

My research interests include:

• Ontology design, mapping, and integration
• Knowledge representation and modelling
• Automated reasoning of first-order ontologies
• Applications of ontologies to data and knowledge integration
• Engineering education

Experience

For up-to-date information, please refer to my LinkedIn.

Education

• Ph.D. in Industrial Engineering (2013-2019)
  • University of Toronto, Toronto, Canada
• M.A.Sc. in Industrial Engineering (2011-2013)
  • University of Toronto, Toronto, Canada
• B.A.Sc. (with honours) in Industrial Engineering (2007-2011)
  • University of Toronto, Toronto, Canada

Publications

The following list is generated by BibBase using publication information from DBLP. You can also find my publications on DBLP, Google Scholar and ORCID.

Contact

If the form below does not work, please get in touch through LinkedIn.

Your email:
Your message: