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