معرفی
Aws Albarghouthi is affiliated with the University of Wisconsin-Madison, USA. He is an active researcher with significant contributions to program synthesis, formal verification, and machine learning.
- Key roles: Author, Session Chair, Committee Member in conferences like PLDI, POPL, VMCAI, SPLASH, and ICFP.
- Research spans quantum computing, differential privacy, and static analysis.
Research Trends include:
- Quantum Circuit Compilation and Optimization
- Probabilistic Verification of Fairness and Privacy
- Synthesis of Datalog and MapReduce Programs
- Neural-Augmented Static Analysis
- Bias Detection in Data
- Security Robustness in Machine Learning
۰مقاله منتشرشده
