2023–Present
PhD Researcher
Utah State University
Focus on formal methods
Advised by Dr. Zhen Zhang
Responsibilities and Outcomes:
- Conducted research in formal methods
- Presented research in competitive venues
- Prepared research proposals and grant applications
- Collaborated across disciplines to enhance research outcomes and support real-world applications
2025–Present
Substitute Teacher
Kelly Education
Cache County School District
Logan City School District
InTech Collegiate High School
Responsibilities and Outcomes:
- Implemented lesson plans and instructional materials
- Adapted teaching methods to meet diverse student needs
- Fostered a positive learning environment for K-12 students
- Maintained safety and order through classroom management
2020–2025
Teaching Assistant
Utah State University
VLSI Testing and Verification
Digital Circuit Design
C Programming
English Conversation
Responsibilities and Outcomes:
- Conducted laboratory and office hour sessions
- Assisted students with homework and hands-on projects
- Graded coursework and provided constructive feedback
2019–2023
Research Assistant
Utah State University
Undergraduate Research Fellow
Advised by Dr. Zhen Zhang
Responsibilities and Outcomes:
- Conducted research in formal methods
- Presented research at competitive venues
- Prepared research proposals and grant applications
- Collaborated across disciplines to enhance research outcomes and support real-world applications