I am a PhD student in Computer and Electronics 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.
| |
|
| 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
|
|
- 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
|
- Characterisation of Inertial Measurements Units
|
- Development of software for real-time analysis of the hardware sensory data
|
|
| 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 |
| PhD Studentship |
Bristol, UK |
| University of Bristol |
Jan. 2008 - Dec. 2011 |
| Outstanding Graduate Students Award |
Nablus, Palestine |
| Ministry of Education |
Feb. 2001 - Sep. 2005 |
| |
|
|
| Publications |
|
|
| |
|
|
| [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. |
Swimming, Cycling, Weights and sometimes Sculling
