Dr. Suleiman has a PhD in Computer Architecture. During his PhD, he was part of the Microelectronics Research Group. The focus during his PhD was on formalising the complexity and scalability of a communication driven computer architecture for model-checking purposes. 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. He has recently worked on projects with Ericsson in Stockholm/Sweden, Intel Labs Europe (ILE) in Villach/Austria, 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 the specification, design and implementation of complex digital systems. Implementation is performed in VHDL, Verilog, SystemVerilog, UPF, and other specification and implementation abstractions. Tools used are mainly NCSIM, VCS, DC, Spyglass and Quartus.