Education
Ph.D. in Computer Science, The University of Texas at Dallas
Master of Science (M.S.) in Computer Science, The University of Texas at Dallas
B.S. in Applied Mathematics, Sharif University of Technology
Areas of Expertise
Formal Methods; Model-based Design, Specification and Verification of Cyber-physical Systems, Models of Computation, Logic in Computer Science
Selected Publications:
Neda Saeedloei, Feliks Kluzniak. Timed Scenarios: Consistency, Equivalence and Optimization. In Proceedings of the 21st Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2018), To appear.
Neda Saeedloei, Feliks Kluzniak. Clock Allocation in Timed Automata and Graph Colouring. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC) (part of CPS Week), pages 71-80. ACM, 2018.
Neda Saeedloei, Feliks Kluzniak. From Scenarios to Timed Automata. In Proceedings of the 20th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2017), pages 33-51. 2017.