Newcastle University

Ellis Solaiman is a Teaching Fellow at the school of Computing Science. He joined Newcastle University as a PhD student in 2000. After graduating in 2004, he worked as a Research Associate at the Schools of Computing Science, and  Chemical Engineering on a number of projects including the Gold project at the North East eScience Centre. From 2008 he worked as an online business consultant until 2011 when he returned to the School as a Teaching Fellow. 

I teach on the following modules:

CSC8406: Object Oriented Programming

CSC8004: Networks and Web Technologies

CSC3304: Software Verification Technology

CSC3501: System Administration

CSC1024: Computer Organisation.

CSC2011: Advanced Programming

I

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

• 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.