Name: User-Enhanced Learning Experience of Symbolic Logic Solving
Start: 2022-08-25T18:00:00-07:00
End: 2022-08-25T19:30:00-07:00

This talk presents the development of the new Online Z3 Guide (Z3Guide) for learning symbolic logic solving with Z3. It replaces a server-side interactive guide, rise4fun, developed more than a decade ago with a modern, 100% client-side web-based environment, crafted with human-centered methods. We introduce the design principles, the development process and the implementation of Z3Guide. We show that Z3Guide has been improved and well-perceived over multiple iterations because we have worked with educators and learners of symbolic logic solving from the beginning of its development. Finally, we propose future work to further improve Z3Guide, to cultivate knowledge sharing of symbolic logic solving, and to empower an array of web-based experiences of programming languages and tools.

**Lisa's Bio:**
Ruanqianqian (Lisa) Huang is a PhD student in Computer Science at the University of California San Diego, part of the Programming Systems group and advised by Sorin Lerner. Lisa is interested in the design and implementation of programming languages, tools and interfaces, and human-computer interaction in programming. [https://rlisahuang.com](https://rlisahuang.com/)

**Ayana's Bio:**
Ayana Monroe is a Senior Chancellor’s Science Scholar at UNC-Chapel Hill. She is double majoring in Computer Science and Information Science along with a minor in Cognitive Psychology. Ayana has research interests in Human-Computer Interaction’s (HCI) application to blockchain, journalism, the procedural information seeking process, and programming language learning.

This summer, she worked with Nikolaj Bjorner, Peli de Halleux, and Lisa Huang on the implementation of the Z3Guide, a new platform that supports the learning of symbolic logic solving with Z3 that replaces the legacy learning platform rise4fun. She employed human-centered research methods in order to understand how to support both learners and teachers of symbolic logic solving with an online learning platform.

Primarily, Ayana works with the HATLab as a Research Experiences for Undergraduates (REU) student, on the News Provenance Authentication Project where she explores user perceptions of online news and news transparency and authenticity. She is also an undergraduate research assistant in the Interactive Information Systems Lab (IISL) as well as an Affiliate with the Center for Information, Technology, and Public Life (CITAP) at UNC.

Anupama

Jubi Taneja

Women in Compilers and Tools Meetup Series

LLVM Project

Technology

Open Source

Web Design

Web Technology

Web Development

Mobile Development

Software Development

Women's Business Networking

Professional Women

Computer Programming

User-Enhanced Learning Experience of Symbolic Logic Solving

Online event

Share

Women in Compilers and Tools Meetup Series

User-Enhanced Learning Experience of Symbolic Logic Solving

Women in Compilers and Tools Meetup Series

Details

Members are also interested in