Maplers are members of my research lab (Maple), including master’s and doctoral students, as well as undergrad research assistants. I’m always looking for new students (on all levels) to expand my group.
If you are interested in joining Maple, I strongly encourage you to apply to the Computing Science Department at UAlberta. If you’d like to email me regarding joining Maple, please make sure to include the following information in your email for me to consider it:
- A one-page summary for your research interests. Ideally, this summary should specify at least one of my current projects that you find interesting.
- A one-page summary for one of my published papers that you find interesting.
- Any relevant background that you have and may be useful for you to pursue your future research directions.
- The phrase “Messi is the GOAT”. This will just show that you are serious enough about joining Maple to read all the way till the end of the list of instructions.
Below is a list of current, affiliated, and former Maplers.
Ifaz is a PhD student in Computing Science. He obtained a bachelor's degree in Pure Mathematics and Computer Science as well as a Masters degree in Computer Science, all at the University of Waterloo. He's interested in type systems, type inference, null safety, type systems for logic, and program analysis.
Abdul Ali is a PhD student in Computing Science. He obtained his Master's in Software Engineering at FAST National University, Pakistan. He's generally interested in helping software developers overcome the rising demand to build energy-efficient software systems. In particular, his research directions include mining software repositories, process mining, programming languages, and computational intelligence.
Jeff obtained his bachelor's degree in Computing Science at the University of Alberta in 2019. In addition to his passion for game development, he worked in the lab from 2017 to 2019 to help build SWAN, which is a static analayis framework for Swift. For his master's degree, Jeff is currently working on automatic verification of comparators and hash functions.
Stefan was a PhD Student at Paderborn University (co-supervised with Eric Bodden), and a member of the collaborative research center CROSSING. In 2014, Stefan received a Master's Degree in Computer Science at Otto-von-Guericke University in Magdeburg. CROSSING aims at devising future-proof cryptography that is sound and easy to use even for non-experts. In that vein, Stefan's main research interests are API usability, DSLs for the specification of security properties of programs, and automated detection of crypto API misuses.
Lisa was a PhD Student at Paderborn University (co-supervised with Eric Bodden). She has received her MSc. in Computer Science from EPFL in 2014. Her research focuses on improving the usability of program analysis tools for code developers through different aspects that range from the optimization of the analysis algorithm to the implementation of its framework to the usability of its interface. She went on to be a Software Engineer at Google, Zurich.
Jamie is an undergraduate student in Computing Science and Mathematics. They are interested in an intersection of pure mathematics alongside theoretical Computing Science, including Logic, program analysis, number theory and applications of pure mathematical results into computing. In the summer of 2019, Jamie has worked in the lab on verifying transformations for string equations using Coq.
Johannes was a PhD student at Paderborn University (co-supervised with Eric Bodden). In 2013, Johannes received his Master's degree in Mathematics at TU Darmstadt. His research focused on designing efficient and precise algorithms for static analysis (e.g., points-to and typestate). He went on to be a Research Associate at the Software Engineering and IT Security Department of Fraunhofer IEM in Paderborn, Germany.
Leo obtained a bachelor's degree in Computer Science from Simon Fraser University where he was interested in programming languages and software engineering. He worked in the lab through a UCOSP project in 2018, and contributed to SWAN. He went on to do his Master's degree at the University of Toronto.
Tyler obtained his bachelor's degree in Computer Science from the University of New Brunswick. He worked in the lab through a UCOSP project in 2018, and contributed to the user interface overhaul of ABM. He went on to work as an Application Developer at the Atlantic Canada Opportunities Agency, a government agency that provides funding through grants and loans to small and medium enterprises in Atlantic Canada.
Yaser obtained a bachelor's degree in Computer Science from Dalhousie University where he developed his passion for algorithms engineering research. He worked in the lab through a UCOSP project in 2017, and contributed to SWAN. He went on to work as a software engineer at Microsoft with the Azure Data Factory Team.
Qi (Lydia) Wu obtained her bachelor's degree at Simon Fraser University (Dual Degree Program with Zhejiang University, China). Her research interests include computing systems and computer vision. She worked in the lab through a UCOSP project in 2017, and contributed to SWAN. Lydia went on to pursue her Master's degree in visual computing and computer graphics at UC Berkeley.
Chen Song is an undergraduate student at Simon Fraser University (Dual Degree Program with Zhejiang University, China). His research interests include performance issues in cloud computing and deep-learning based image generation. He worked in the lab through a UCOSP project in 2017, and contributed to SWAN.
Stuart obtained his bachelor's degree in Computing Science from the University of Alberta in 2017. He worked in the lab in the summer of 2017 to build a suite of classroom management tools that are based on GitHub Classroom. He went on to work as an application consultant for Ontracks Consulting.
Manuel obtained his Master’s degree in Computer Science and IT-Security at TU Darmstadt, where his thesis was about finding misuses of crypto APIs. His main research interests are static and dynamic program analysis and, especially, how we can combine them to mitigate the drawbacks of each other. He went on to be a PhD researcher at Paderborn University, Germany.