About me

Hello! My name is Alaia, and I am a fifth-year Ph.D. student at the University of Pennsylvania where I am fortunate to be advised by Rajeev Alur. Currently, my research centers around developing formal techniques for policy enforcement in agents.

I am looking for full-time research scientist roles starting Summer 2027!

Currently, I am a student researcher at Google DeepMind, working on agentic security. In the past, I have interned in the Agentic AI/Automated Reasoning Group at AWS. My research has previously been supported by a gift from AWS.

Publications

Conference Publications

• Efficient and Sound Probabilistic Verification for AI Agents
  Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu, Somesh Jha, and Krishnamurthy (Dj) Dvijotham
  S&P 2027

• CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
  Seewon Choi*, Alaia Solko-Breslin*, Rajeev Alur, and Eric Wong
  NeurIPS 2025

• Understanding the Effectiveness of LLMs in Detecting Security Vulnerabilities
  Avishree Khare*, Saikat Dutta*, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, and Mayur Naik
  ICST 2025

• Data-Efficient Learning with Neural Programs
  Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, and Eric Wong
  NeurIPS 2024

• Automata Learning with an Incomplete Teacher
  Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva
  ECOOP 2023

• Petr4: Formal Foundations for P4 Data Planes
  Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster
  POPL 2021

* equal contribution

Teaching

University of Pennsylvania

• Spring 2024 TA for CIS 7000: Special Topics: Trustworthy Machine Learning
• Fall 2023 TA for CIS 5000: Software Foundations

Cornell University

• Spring 2022 TA for CS 4160/5160: Formal Verification
• Fall 2021 TA for CS 3110: Data Structures and Functional Programming
• Spring 2021 TA for CS 4820: Introduction to Analysis of Algorithms
• Fall 2020 TA for CS 4820: Introduction to Analysis of Algorithms
• Spring 2020 TA for CS 3110: Data Structures and Functional Programming
• Fall 2019 TA for CS 3110: Data Structures and Functional Programming

Service

• 2026 Reviewer: ICML, NeurIPS
• 2025 Reviewer: NeurIPS

Other

Outside of academic things, I like to run and read. I am also passionate about animal rights and veganism 🌱. In a past life, I was an avid Tetris player.