Priscilla Kyei Danso

About Me

I am a third-year PhD student in Computer Science at Stony Brook University, advised by Dr. Omar Chowdhury. My research lies at the intersection of formal methods, natural language processing, and machine learning, with a focus on building trustworthy AI systems through neural-symbolic reasoning.

Currently, I am developing agentic systems for automated compliance verification that translate natural language into formal logic (LTL, FOL) to check policy adherence across multiple regulations (HIPAA, GDPR, SOX, GLBA). My work bridges the gap between the flexibility of large language models and the precision of formal verification.

Prior to Stony Brook, I completed my M.Sc. in Computer Science at the University of New Brunswick under Dr. Ali Ghorbani, where I worked on machine learning for IoT device profiling and intrusion detection.

Research Interests

• Formal Methods & Verification: Linear Temporal Logic (LTL), First-Order Logic (FOL), theorem proving
• Neural-Symbolic AI: Bridging neural networks and symbolic reasoning for trustworthy AI
• Natural Language Processing: LLM-based specification synthesis and reasoning
• AI Safety & Compliance: Automated regulatory compliance checking (HIPAA, GDPR, SOX)
• Agentic Systems: Autonomous reasoning, planning, and self-correction in AI systems

News

• [Dec. 2025] Presenting at HONET 2025 on LLM-based anomaly detection for digital substations.
• [Oct. 2025] Attended the 2025 Institute on Teaching and Mentoring in Atlanta, Georgia!
• [Oct. 2025] Paper submitted to FASE 2026 on evaluating LLMs for natural language to LTL translation
• [Jun. 2025] I will serve as an Artifact Evaluation Chair (AEC) of USENIX Security 2025.
• [Oct. 2024] Attended the 2024 Institute on Teaching and Mentoring in New Orleans, Louisiana!
• [Oct. 2024] Served as an Artifact Evaluation Chair (AEC) of the ACM CCS 2024 Conference.
• Show more
[Jul. 2024] Finally found my potential research topic (Yes! This a huge milestone for me).
[May. 2024] Attended the Thirteenth Summer School on Formal Techniques in San Franscisco.
[Apr. 2024] Receievd an NSF travel grant to attend the CPS-IOT Week 2024 in Hong Kong.
[Nov. 2023] Received the iMentor scholarship by NSF for ACM CCS 2023 conference.
[Aug. 2023] Started my doctoral studies in Computer Science at Stony Brook University .
[Apr. 2023] Our paper "IoT Zigbee Device Security" was accepted by the Elsevier's Internet of Things Journal.
[Mar. 2023] Accepted invitation to review manuscript for the IEEE Internet of Things Journal.
[Feb. 2023] Our manuscript accepted by the IEEE Internet of Things Journal.
[Dec. 2022] Our paper "Human-Centric Machine Learning" was accepted at by HCI International 2023.
[Oct. 2022] Accepted an invitation to serve as a reviwer for HCI International 2023.
[Oct. 2022] Our paper about "Ensemble-based IDS" was accepted by the IEEE Honet 2022.
[Jun. 2022] Our paper on IoT profiling was accepted at the Privacy, Security, and Trust (PST2022) conference.

Currently working on

An Agentic Policy Compliance System

GitHub → An autonomous agent that translates natural language policy queries into formal logic and verifies compliance across HIPAA, GDPR, SOX, and GLBA regulations.

Features:

• LLM-based natural language to formal logic translation (LTL/FOL)
• OCaml-powered formal verification engine
• Multi-step autonomous planning and execution
• Self-correction and error recovery mechanisms
• Confidence-based decision making
• Natural language explanation generation

Tech Stack: Python, OCaml, GPT-4/Claude, Formal Logic, Agentic Reasoning

Honors & Awards

• NSF Summer School on Formal Techniques + FMiTF Bootcamp (May 2024)
• CPS-IoT Week 2024 Student Travel Award, Hong Kong (NSF-sponsored, April 2024)
• iMentor Scholarship for ACM CCS, Copenhagen, Denmark (NSF-sponsored, Nov 2023)
• Academic Scholarship, University of New Brunswick (May 2021)
• Academic Scholarship, Newmont Ahafo Development Foundation, Ghana (Sep 2016)

Teaching

Teaching Assistant, Stony Brook University:

• ISE 331: Fundamentals of Computer Security (Spring 2024)
• CSE 331: Computer Security Fundamentals (Fall 2023)

Interested in collaborating? Feel free to reach out via email!