<< 2010-11 >>
Department of
Computer Science

Abu Kharmeh

PhD candidate in Microelectronics and Computer Engineering

Department of Computer Science
University of Bristol
Merchant Venturers Building
Woodland Road
Bristol BS8 1UB
United Kingdom

Email: kharmeh at cs.bris.ac.uk


I am a PhD candidate in Microelectronics and Computer Engineering. I am part of the Microelectronics Research Group. My supervisors are Kerstin Eder and David May. My current research activities involve the design of an overall verification framework for communication driven systems. It focuses on formal specification and model-checking of various functional and performance design requirements. See [1] for more details. The complexity and scalability of the modelling framework and the realted model-checking tools are also of great interest. More details can be found here [2]. Full list of publications can be found here.

For more up-to-date information, please check: suleiman.abukharmeh.com.

Academic Background  
University of Bristol Bristol, UK
PhD in Computer Science Jan. 2008 - (expected) 2012
  • Thesis: A Design-for-Verification Framework for Configurable Performance-Critical Communication Interfaces
University of Bristol Bristol, UK
MSc with Distinction in Advanced Microelectronics Systems Engineering Oct. 2006 - Sep. 2007
  • Dissertation: Research and Implementation of Security Requirements of the XCore processor
  • Selected Subjects: Advanced Computer Architecture, Design Verification, System Integration, Digital System and Embedded Real Time Systems
An-Najah National University Nablus, Palestine
Bachelor of Computer Engineering Sep. 2000 - Dec. 2005
  • Final GPA: High Good (86.5%)
Previous Work    
XMOS Semiconductor   Bristol, UK
Application and Verification Engineer (part time) Jan. 2007 - Dec. 2009
  • Directed test-suite design for the verification of the software tool chain
  • Implementation of directed tests for the verification of XMOS multi-core chip
  • Design and implementation of multi-media applications for demonstrating the XMOS multi-core chip
txtNation Plymouth, UK
System Developer Feb. 2006 - Sep. 2006
  • Maintenance of the company's IT infrastructure
  • Development of back-end server software in liaison with messaging service providers
  • Design and implementation of server monitoring and up-time control software
National Microelectronics Research Centre (Tyndall) Cork, Ireland
Microelectronics Application Integration (internship) Jul. 2005 - Sep. 2005
  • Characterisation of Inertial Measurements Units
  • Development of software for real-time analysis of the hardware sensory data
Technical Skills    
Verification and Model-Checking: CSPm and FDR2 assertion based model-checking, Specman e and Verilog directed test verification, VHDL design and implementation
Embedded Control: Microcontroller system development (Microchip's PIC), Parallel embedded system design and development (XMOS's XCore and XC), Assembly languages
Web Design and Development: PHP, HTML, MySQL
Programming Languages: C/C++, C#, Assembly Languages, Java, TCL, Bourne Shell
Operating Systems: Windows and Linux
Scholarships & Awards    
PhD Studentship Bristol, UK
University of Bristol Jan. 2008 - Dec. 2011
Outstanding Graduate Students Award Nablus, Palestine
Ministry of Education Feb. 2001 - Sep. 2005
[1]Suleiman Abu Kharmeh, Kerstin Eder, and David May. A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. In Proceedings of the 9th FORMATS International Conference, LNCS, pages 335-351. Springer, Heidelberg (2011), August 2011.
[2]Suleiman Abu Kharmeh, Kerstin Eder, and David May. Complexity of Hardware Design and Model-Checking: An Asymptotic Analysis of State-Machine Metrics. Technical report, University of Bristol, March 2012.
[3]Suleiman Abu Kharmeh, Kerstin Eder, and David May. Formal Analysis of a Programmable Performance-Critical Processor Communication Interface. In Proceedings of the 10th AVoCS International Workshop, 2010.
Hobbies & Activities    

Swimming, Cycling, Weights and sometimes Sculling