Ehsan Ahmad received his Master of Science in Software Engineering from Sweden and PhD in Computer Science and Technology from China in 2009 and 2015 respectively. He worked at the Department of Computer Science and Air University, Islamabad, Pakistan as lecturer from 2009 to 2012 and as assistant professor from 2015 to 2016. He has also worked at and is constantly in collaboration with State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing from 2011 to 2012 as research fellow. He is currently working as assistant professor at College of Computing and Informatics, Saudi Electronic University, Jeddah branch, Kindom of Saudi Arabia. His research interests include system architecture
analysis of real-time systems, program verification, discrete-event simulation, and computational thinking
