Suleiman has a PhD in Microelectronics and Computer Engineering. He is currently working on a project with Intel Labs Europe (ILE) in Villach/Austria. He has also recently worked on projects with NXP Semiconductors in Hamburg/Germany, Renesas Electronics Europe in Dusseldorf/Germany, Intel Mobile Communications in Dresden/Germany and STMicroelectronics in Grenoble/France. Currently he focuses on digital systems design and verification using VHDL, Verilog, SystemVerilog/UVM, UPF. Tools used are mainly NCSIM, VCS, DC and Quartus. During his PhD, he was part of the Microelectronics Research Group. The focus during the PhD was on formalising a modelling and verification framework for communication driven systems. The complexity and scalability of the framework and the related model-checking formalisms and tools were also of great interest. See his PhD thesis for more details. In addition to being the founder and director of Abu Kharmeh Consulting Limited, he is also continuing his research in the field of formal hardware design and complexity analysis. Full list of publications can be found here.