Newcastle University

I joined Newcastle University as a PhD student at the beginning of the year 2000. After graduating in 2004, I was a Research Associate at the Schools of Computer Science, and  Chemical Engineering mainly on the Gold project in the North East eScience Centre. I left the University at the end of 2008 to work as an online business consultant, and returned to the School of Computing Science in 2011 as a Teaching Fellow. 

My research Interests mainly relate to distributed systems, the management of online business to business interactions, electronic contracts, modeling, and software verification. 

I teach on the following modules:

CSC3304: Software Verification Technology

CSC2011: Advanced Programming

CSC1016: Computer System Organisation (Semester 2) 

I assist with CSC3595 and CSC3095.

I am involved with modules CSC8005, and CSC2015 as a group project monitor. 

• Solaiman E. [PhD Thesis] Contract Representation for Validation and Run Time Monitoring. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004.
• Molina-Jimenez C, Shrivastava SK, Solaiman EM, Warne JP. Run-time monitoring and enforcement of electronic contracts. Electronic Commerce Research and Applications 2004, 3(2), 108-125.
• Solaiman E, Molina-Jimenez C, Shrivastava S. Model Checking Correctness Properties of Electronic Contracts. In: Goos G; Hartmanis J; van Leeuwen J, ed. Service-Oriented Computing - ICSOC 2003. Heidelberg: Springer Berlin, 2003, pp.303-318.
• Molina-Jimenez C, Shrivastava S, Solaiman E, Warne J. Contract Representation for Run-time Monitoring and Enforcement. In: IEEE International Conference on E-Commerce. 2003, Newport Beach, California: IEEE.