ҹɫè

ÌýHey, my name's Muhammad Bakr, I am a PhD StudentÌý in the GRACE Lab "Group for Research on Automatic Control Engineering", ҹɫè of EnngineeringÌý and Information Technology at the Technical University of SANNIO in ITALY since April 2017. I received my B.Sc (Computer and System Engineering 2010) and M.Sc. (Electrical EngineeringÌý 2015) from the Faculty of Engineering, Minia University, Egypt. I am also working as an Assistant Lecturer at the same department. My research spans two main disciplines:Ìý

1. Formal Methods in System Design/SynthesisÌý (STL ,LTL,MILP).
2. Cyber-Physical Systems (Energy Systems, Water Distributions real-time systems, Hybrid systems, Smart Building).

Please, do not hesitate to contact me if you have further questions and informationÌýÌý

Ìý