Scholar
Arshia Rafieioskouei
Google Scholar ID: E7VilogAAAAJ
Michigan State University
Citations & Impact
Citations
16
H-index
3
i10-index
0
Publications
5
Co-authors
2
list available
Publications
Resume (English only)
Academic Achievements
- Paper 'HYPRL: Reinforcement Learning of Control Policies for Hyperproperties' accepted to NeurIPS 2025 (Sep 2025)
- Paper 'Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine' accepted to Molecular Pharmaceutics (Apr 2025)
- Paper 'Ai-driven prediction of cardio-oncology biomarkers through protein corona analysis' accepted to Chemical Engineering Journal (Mar 2025)
- Paper 'Efficient Discovery of Actual Causality using Abstraction-Refinement' accepted to EMSOFT 2024 and published in IEEE TCAD (Jul 2024)
- Awarded ESWEEK 2024 student travel grant by SIGDA (Aug 2024)
Background
- Second-year PhD student in Computer Science and Engineering at Michigan State University
- Research focuses on causality, particularly formalizing it using temporal logic and transforming it into an SMT problem
- Applies causality analysis in Cyber-Physical Systems (CPS) to uncover causal relationships between events
- Optimizing the approach for efficiency and exploring applications in medicine and nanoscience
- Actively seeking internships in CPS, safety failures, formal methods, and verification
