Open Positions
★ I am actively looking for a graduate student to work on a funded research project titled: Validating the Effectiveness of Security Design Patterns. Ideal candidates will have a strong background and interest in software design and design patterns, and formal specification and verification using fundamental tools such as first-order logic. If you are interested in this project and pursing a graduate degree at Carleton University, please contact me.
★ I am actively looking for a graduate student at both the Master's and Ph.D. level to fill a number of open research positions for a variety of projects related to my research interests. For more information, see Prospective Students below.
Current Students
-
Thomas Sattolo: M.A.Sc. Electrical and Computer Engineering (Started: Fall 2018)
Topic: Detecting Protocol-Based Covert Channels in Distributed Networked Systems -
Nilofar Mansourzadeh: Ph.D. Computer Science (Started: Fall 2016)
Co-Supervised with Anil Somayaji
Topic: Population-Level Trust in Computer Systems
Prospective Students
I am always looking for talented highly-motivated students interested in working on topics that align with my research interests including, but not limited to, cybersecurity evaluation and assurance, software engineering, distributed multi-agent systems, formal methods, and programming. I am especially interested in students with a background in Software Engineering and/or Computer Science.
Prospective Graduate Students: If you have a suitable background and are interested in working on these research topics, please contact me and/or list my name as a potential supervisor in your official application, so that it comes to my attention.
- Why Pursue Graduate Studies? Check out this 2017 article from Macleans outlining just some of the reasons why you may want to pursue a graduate degree.
Undergraduate Students at Carleton: If you are interested in engaging in research and programming projects in these research areas of as an undergraduate research assistant or as a co-op student through the NSERC Undergraduate Student Research Award Program, please contact me.
Capstone (SYSC 4907) Students at Carleton: If you are interested in working on one of my proposed projects, or if you would like to propose a project of your own that aligns with my interests and expertise, please contact me.