I am an assistant professor of Computer Science at Southern Illinois University (SIU) Carbondale. Before joining SIU in 2017, I was an assistant professor at University of Minnesotta Duluth (UMD) for three years. I received my Ph.D. in Computer Science fromUniversity of Texad at Dallasunder the guidance ofProf. Gopal Gupta.
My research is focused on formal methods for design, synthesis, specification and verification of cyber-physical systems (including real-timed systems and hybrid systems). I am also interested in models of computation and logic.
I am the director of Cyber-Physical Systems lab.
Recent Publications (2017 - 2018)
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.
Neda Saeedloei, Feliks Kluzniak. Optimal Clock Allocation for a Class of Timed Automata. 2016.
For Prospective Students
I am currently looking for motivated students (Ph.D, Master and Bachelor) to work with me on projects related to my general area of research.