CV

Education

• University of Maryland, College Park
  B.S. in Computer Science Aug 2025 – May 2028 (expected)

• The Pennsylvania State University, University Park
  Transferred, B.S. in Electrical Engineering
  Aug 2024 – May 2025
  GPA: 3.94 / 4.00; Dean’s List (two semesters)

Publications

In preparation Paper on probabilistic extensions of Datalog for model counting, CAV 2026 (co-first author).

Research Experience

• Research Assistant, Purdue University May 2025 - Mar 2026 Supervised by Dr. Jingbo Wang and Xuyang Li
  • Duties included:
    • Designed and implemented a probabilistic extension of the Soufflé Datalog engine, adding full semantics for probabilistic queries, evidence, and weighted rules—a high-performance alternative to ProbLog.
    • Integrated Sentential Decision Diagram (SDD) into Soufflé for Weighted Model Counting (WMC).
    • Evaluated performance against existing Problog implementations on multiple datasets.
    • Co-first author on a paper in preparation for CAV 2026.

Research Interests

• Artificial Intelligence
• Formal Methods
• Cognitive Science

Coursework

Introduction to Computer Systems, Discrete Structures; Linear Algebra; Applied Probability and Statistics; Multivariable Calculus; Complex Analysis.