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)

Selected Coursework: Introduction to Computer Systems, Discrete Structures; Data Strcucters; Linear Algebra; Applied Probability and Statistics; Multivariable Calculus; Complex Analysis.

Publications

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

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.
    • Writting and Co-first author on a paper in preparation for CAV 2026.

Research Interests

• Artificial Intelligence
• Formal Methods
• Automed Reasoning

Skills

C/C++, Java, Python