Emma Shedden

Undergraduate Researcher and University Student
Computer Science & Mathematics
College of Engineering
University of Michigan


About Me

I am a computer science undergraduate researcher and student, advised by Wes Weimer at the University of Michigan. My current research focus is in CS pedagogy and the cognition of computer programming.

I'm also an Instructional Aide (IA) for EECS 203: Discrete Mathematics at UM.

In early 2023, I was a student researcher in mathematics with the Lab of Geometry at Michigan, LoG(M), under the mentorship of Dr. Hai Le. I was a 2022 Software Engineer Intern at Facebook (now Meta), working on user data protections with the AI Security team. Prior to that, I was a Software Engineering Research Intern at Carnegie Mellon University's Software and Societal Systems Department (S3D) through the NSF-sponsored REUSE program. While there, I conducted research on how to generate control logic from formal specifications of cyber-physical systems, advised by Eunsuk Kang.

I am applying to Computer Science PhD programs starting in Fall 2024!


Research Interests

I plan to conduct research that improves real-world software by finding creative new ways to leverage the mathematical foundations of computer science. I'm particularly interested in formal methods and their potential when combined with data-driven strategies, such as in the areas of Automated Program Synthesis, Repair, Testing, and Verification.


Publications

  1. Hammad Ahmad, Madeleine Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, & Westley Weimer.
    Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment.
    Accepted to Proceedings of the 46th International Conference on Software Engineering (ICSE) 2024. [pdf]

  2. Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, & Eunsuk Kang.
    Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.
    In Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) 2023. [doi]


Research Experience

Undergraduate Researcher | Westley Weimer Lab, University of Michigan

Sep 2022 - Present

Undergraduate Researcher | LoG(M), University of Michigan

Jan 2023 - Apr 2023

Undergraduate Researcher | Eunsuk Kang Lab, Carnegie Mellon University

Jun 2021 - May 2022


Service

Student Volunteer | 37th IEEE/ACM International Conference on Automated Software Engineering

Oct 2022

Student Volunteer | Honors Alternative Spring Break, University of Michigan Ann Arbor

Feb 2022 - Mar 2022


Professional Experience

Instructional Aide, EECS 203: Discrete Mathematics | University of Michigan

Jan 2022 - Present

Software Engineer Intern | Meta Platforms, Inc. (formerly Facebook)

May 2022 - Aug 2022

Supplemental Instruction Leader, EECS 203: Discrete Mathematics | University of Michigan Ann Arbor

Feb 2021 - Dec 2021


Reach me through email or GitHub!