The Maple Lab

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:

Below is a list of current, affiliated, and former Maplers.

Current Maplers

Ifaz Kabir

Ifaz Kabir phd

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 Bangash

Abdul Ali Bangash phd

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.

Kristen Newbury

Kristen Newbury masters

Kristen is a Master's student in Computing Science. She's interested in using program analysis to detect crypto API misuses.

Erick Ochoa

Erick Ochoa masters

Erick is a Master's student in Computing Science. He has worked on FPGAs, benchmarking, and managed runtimes. He's also interested in program verification, program synthesis, and new media art.

Revan MacQueen

Revan MacQueen undergrad

Revan is a senior honours Computing Science undergrad student working in the lab in the summer of 2018 on applying programming language techniques to machine learning systems.

Affiliated Maplers

Stefan Krüger

Stefan Krüger phd

Stefan is a PhD Student at Paderborn University (supervised by 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 Nguyen Quang Do

Lisa Nguyen Quang Do phd

Lisa is a PhD Student at Paderborn University (supervised by 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.

Johannes Späth

Johannes Späth phd

Johannes is a Research Associate at the Software Engineering and IT Security Department of Fraunhofer IEM in Paderborn. In 2013, Johannes finished his Master's degree in Mathematics at TU Darmstadt. He joined the research group of Eric Bodden in 2014 and since then his research focuses on static analysis where he enjoys developing efficient and precise algorithms, e.g., points-to or typestate analysis.

Former Maplers

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.

Jeff Cho

Jeff Cho undergrad

Jeff is a senior undergrad student in Computing Science with a passion for game development. Jeff has worked in the lab for over a year (2017–2018) to help kickstart RoadRunner by co-mentoring 8 undergrad students under the umbrella of UCOSP.

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 RoadRunner.

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 RoadRunner.

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 RoadRunner. 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 RoadRunner.

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 RoadRunner. 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 is an undergraduate student 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 RoadRunner.

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 RoadRunner.

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 is a senior undergrad student in Computing Science with a passion for programming languages, algorithms, games, and procedural art. Noah has worked in the lab in the winter of 2017 to help kickstart RoadRunner.

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.