N
Neda Saeedloei
Associate Professor
GradNova doesn't forward messages to faculty. To contact Neda Saeedloei, use the Towson University website.
Research Interests
Formal Methods
Logic in Computer Science
Model-Based Design
Models of Computation
Specification and Verification of Cyber-Physical Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Embedded Systems Design Techniques
Logic, Reasoning, and Knowledge
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →