Aren A. Babikian

Aren A. Babikian

PhD Student at McGill University
in Software Engineering


I am currently a PhD student in software engineering at McGill University’s Electrical and Computer Engineering Department under the supervision of Professor Dániel Varró.

I have earned my B.Eng degree in Computer Engineering in December 2018 at McGill University. I enrolled in a M.Eng program at McGill in January 2019, but did not complete it, as I fast-tracked into a PhD program in January 2020.

You may access my CV here.

Research Interests

  • Model-Based Systems Engineering
  • Graph Model Generation
  • Domain-Specific Languages
  • Formal Methods
  • Autonomous Cyber-Physical Systems Testing
  • Software Tool Qualification

Selected Publications

For a more complete list, see my Google Scholar profile.

Work Experience

Industry Experience

  • Applied Scientist Intern, Amazon Web Services
    (May 2020 - Aug 2020)
    Member of the Automated Reasoning Group.

Teaching Activities

  • Fall 2020 (McGill University):
    Teaching Assistant, Grader, ECSE 429 - Software Validation
  • Fall 2019 (McGill University):
    Teaching Assistant, ECSE 429 - Software Validation
  • Winter 2019 (McGill University):
    Course Grader, ECSE 321 - Intro to Software Engineering
  • Fall 2018 (McGill University):
    Undergrad Mentor, ECSE 321 - Intro to Software Engineering

Project Contributions

Selected Awards and Scholarships

Hobbies and Volunteering