Asad Ahmed is Ph.D. candidate and Research Assistant at the National University of Sciences and Technology. He holds B.Sc. degree from Punjab University, and M.Sc. and M.Phil. degrees from Quaid-i-Azam University, gained in 2004, 2007, and 2013, respectively. He has worked in several teaching positions, including as a teachers assistant at NUST, and a lecturer at the Institute of Engineering and Technology. He has published several journal and conference papers. Associate Professor Osman Hasan gained his B.Sc. from the University of Engineering and Technology in 1997, and his M.Eng. and Ph.D. from Concordia University, in 2001 and 2008, respectively. He has worked in several research and teaching positions, for which he has won prizes, including his current role as Senior Head of Department of Electrical Engineering at the National University of Sciences and Technology. He has published 3 books, 14 book chapters, over 70 journal articles, and more than 150 conference papers. Heis a senior member of the IEEE and a member of the Pakistan Engineering Council
Associate Professor Falah Awwad works in the Electrical Engineering Department at the United Arab Emirates University. He gained his B.Sc. from Kuwait University, and his M.Sc. and Ph.D. from Concordia University. He has authored over 20 journal articles, two patents, and one book chapter.
Nabil Bastaki received his BSc degree in Computer Engineering from the University of Arizona, USA in May 1989, the Master of Engineering degree in Electrical Engineering from Cornell University, USA in May 1993, and the Ph D degree in Computer Engineering in May 2001 from the University of Southern California, USA. Since August 2019, he is the College of Engineering Assistant Dean for Research and Graduate Studies. He has held several administrative positions at UAEU, including, Head of Industrial Training and Graduation Projects, the Director of the Continuing Education Center, and the Assistant Dean for Student Affairs at the College of Engineering (COE).
4 Ebooks door Osman Hasan
Matthew England & Herman Geuvers: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 …
EPUB
Engels
DRM
€57.64
Asad Ahmed & Osman Hasan: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the s …
PDF
Engels
€69.54
Osman Hasan & Frederic Mallet: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised …
EPUB
Engels
DRM
€57.19