The Maple Lab

Maplers are members of my research lab (Maple), including postdoctoral researchers, master’s and doctoral students, as well as undergrad research assistants. If you are interested in joining Maple, please read this information page before contacting me.

Below is a list of current and alumni Maplers.

Current Maplers

Jiaqi He

Jiaqi He phd

Jiaqi is a PhD student in Computing Science. He obtained his Bachelor’s degree in Computer Science at Northeastern University (China), and his Master’s degree in Informatics at Nagoya University. He is interested in program analysis, formal verification, SMT solving, and reinforcement learning.

Nipuni Hewage

Nipuni Hewage masters

Nipuni is a Master's student in Computing Science. She obtained her Bachelor’s degree at the University of Moratuwa, Sri Lanka. She is interested in program analysis, mining software repositories, and software quality.

Mingwei Li

Mingwei Li ra

Mingwei obtained his bachelor’s degree in Computing Science at the University of Alberta. He has a wide interest in software design, software engineering, and machine learning.

Alumni Maplers

Abdul Ali Bangash

Abdul Ali Bangash phd

Abdul Ali obtained his PhD student in Computing Science from the University of Alberta in 2023. While working towards his PhD, Ali has worked on 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. Abdul Ali moved on to be a Postdocoral Researcher with the SAIL Lab at Queen's University.

Daniil Tiganov

Daniil Tiganov masters

Daniil obtained his Master's degree in Computing Science from the University of Alberta in 2023. During his time in the lab, he has led the work on SWAN, a static analysis framework for Swift. Daniil moved on to be a Senior Software Developer at Synopsys.

David Seekatz

David Seekatz masters

David obtained his Master's degree in Computing Science from the University of Alberta in 2022. He's interested in the construction of precise code summaries for analyzing Java libraries. He went on to be a Senior Application Security Software Engineer at Oracle.

Jeff Cho

Jeff Cho masters

Jeff obtained his Master's degree in Computing Science from the University of Alberta in 2022. In addition to his passion for game development, he worked in the lab on building SWAN, which is a static analysis framework for Swift, as well studying game testing. He went on to be a Communications and Electronics Engineering Officer with the Royal Canadian Air Force and the Game Director for Caldera Interactive.

Ahmed Elkhair

Ahmed Elkhair masters

Ahmed obtained his Master's degree in Computing Science from the University of Alberta in 2021. He is interested in program analysis, analysis of binaries, programming languages, and formal semantics.

Cijie Xia

Cijie Xia undergrad

Cijie is a senior honours undergraduate student in Computing Science who has been working in the lab during 2020 on JIT compiler optimizations for Eclipse OpenJ9. He is interested in programming languages, computer systems, and software engineering.

Kristen Newbury

Kristen Newbury masters

Kristen was a Master's student in Computing Science. During her thesis, she has worked on using program analysis to detect and repair crypto API misuses in Java programs. She went on to be a CodeQL Analysis Engineer at GitHub.

Stefan Krüger

Stefan Krüger phd

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.

Revan MacQueen

Revan MacQueen undergrad

Revan is a senior honours Computing Science undergrad student who has been working in the lab in the summers of 2018 and 2019 on fixing neural networks using solver-aided languages.

Lisa Nguyen Quang Do

Lisa Nguyen Quang Do phd

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.

Spencer Killen

Spencer Killen undergrad

Spencer obtained his bachelor's degree in Computing Science at the University of Alberta in 2019. He worked in the lab during the summer of 2019 to improve the JIT inliner within the OpenJ9 runtime environment.

Supakorn 'Jamie' Rassameemasmuang

Supakorn 'Jamie' Rassameemasmuang undergrad

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.

Erick Ochoa

Erick Ochoa masters

Erick was a Master's student in Computing Science. He has worked on FPGAs, benchmarking, and managed runtimes. His master's thesis focused on guiding inlining decisions using post-inlining transformations. He went on to be a Compiler Engineer at Theobroma Systems.

Johannes Späth

Johannes Späth phd

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.

Mark Mroz

Mark Mroz undergrad

Mark is a Software Engineering student at the University of Ottawa. He has expertise in iOS development using Swift and web development in Ruby On Rails. He worked in the lab through a UCOSP project in 2018, and contributed to SWAN.

Alexander MacKenzie

Alexander MacKenzie undergrad

Alex is a dual major Computing Science and Biology undergrad student. He has worked in the lab in the summers of 2017 and 2018 to help build various components in ABM and Delphi.

Bryan Tam

Bryan Tam undergrad

Bryan is a senior undergrad student in Computer Science at the University of Toronto with an interest in computer systems. He worked in the lab through a UCOSP project in the winter of 2018, and as a research assistant in the summer of 2018, to contribute to SWAN.

Leo Li

Leo Li undergrad

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.

Anthony Hill

Anthony Hill undergrad

Anthony obtained his bachelor's degree in Computer Science from Wilfrid Laurier University. He worked in the lab through a UCOSP project in 2018, and contributed to SWAN.

Swapnil Shah

Swapnil Shah undergrad

Swapnil obtained an honors bachelor's degree in Computer Science from the University of Toronto. 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 a software engineer at Okera.

Tyler Pavlovic

Tyler Pavlovic undergrad

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.

Alex Li

Alex Li undergrad

Alex obtained his bachelor's degree in Computer Science from Western University. He worked in the lab through a UCOSP project in 2018, and contributed to the user interface overhaul of ABM.

Yaser Alkayale

Yaser Alkayale undergrad

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.

Lydia Wu

Lydia Wu undergrad

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

Chen Song undergrad

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 Hoye

Stuart Hoye undergrad

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.

Adrian Margel

Adrian Margel high school

Adrian was a high school student who worked in the lab in the summer of 2017. He built Java web crawlers for GitHub and BitBucket projects that were later integrated in ABM, a platform for automated benchmark management. He went on to attend NAIT in Fall 2018.

Noah Weninger

Noah Weninger undergrad

Noah obtained his bachelor's degree in Computing Science from the University of Alberta in 2019. He has worked in the lab in the winter of 2017 to help kickstart SWAN. He went on to pursue his Master's degree in computer theory at UBC.

Michael Appel

Michael Appel masters

Michael obtained his Master’s degree in Computer Science at TU Darmstadt, where his thesis was about modelling the side effects of the Android SDK.

Manuel Benz

Manuel Benz masters

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.