Education
Ph.D. in Computer Science, The 黑料传送门 of Texas at Dallas
Master of Science (M.S.) in Computer Science, The 黑料传送门 of Texas at Dallas
B.S. in Applied Mathematics, Sharif 黑料传送门 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.