| Jun 22, 2025 | Attending DAC ‘25 in San Francisco! Will be presenting our paper on counting of hybrid SMT formulas. |
| Nov 01, 2024 | Our paper on efficiency of model counters on practical problems got accepted at KR ‘24. |
| Aug 01, 2024 | Had a great time at SAT ‘24 in Pune! Co-organizing the Model Counting Competition was intense but a lot of fun. I also presented at the SAT-SMT school and model counting workshop. |
| Jul 01, 2024 | Attending the CAV ‘24 conference in Montreal! I presented our work on bit-vector counting and sampling at the SMT Workshop. |
| Apr 01, 2024 | Attending the Dagstuhl Seminar on Automated Synthesis in Germany. I presented our work on Skolem function counting. |
| Feb 01, 2024 | Attending the AAAI ‘24 Conference in Vancouver, Canada. I presented our work on Skolem function counting. |
| Dec 01, 2023 | Presented our work on Skolem Function Counting at the SAT-SMT Winter School in Hyderabad, India. |
| Aug 01, 2023 | Invited to the CP 2023 Doctoral Program and the FMCAD 2023 Student Forum. |
| Jul 02, 2023 | Attended the SAT Conference at Alghero, Italy, where Jiong presented our work on causal reasoning on SAT. |
| Jul 01, 2023 | Presented our work on bit-vector model counting at the Model Counting Workshop. |
| May 01, 2023 | Visited Dr. Tevfik Bultan and his group at UC Santa Barbara. |
| Apr 01, 2023 | Attended the Satisfiability Reunion workshop for a month at the Simons Institute in UC Berkeley. |