Formal Activities

 

Reviewing:

  • The 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)External reviewer.
  • The 41st International Colloquium on Automata, Languages, and Programming (ICALP 2014), External reviewer.
  • Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic, and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), External reviewer. 
  • The ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), External reviewer
  • The Imperial College Computing Student Workshop (ICCSW 2012), PC member
  • The 5th International Conference on Software Language Engineering (SLE 2012), External reviewer
  • The 37th International Symposium on Mathematical Foundations of Computer Science (MFCS 2012),  External reviewer
  • The 7th European Conference on Modelling Foundations and Applications (ECMFA 2011), External reviewer
  • The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), External reviewer

Presentations and talks (selected):

  • Enabling Synchronous and Asynchronous Communications in CSP for SOC, LSFA 2014, Brasília D.F., Brazil, Sep 2014
  • Modelling Dynamic Compensations within the Process Calculus of Communicating Sequential Processes (CSP), 7th SSC, Edinburgh, UK,2014
  • CSP Practical Tools,  7CCSMCOM - Computational ModelsKing's College London, UK, March 2014. 
  • Enhancing the Specification and the Verification Techniques of Multiparty Sessions in SOC, SMAL event day, King's College London, UK, Dec 2013 
  • Achieve pi-calculus Style Mobility into CSP, The 29th British Colloquium for Theoretical Computer Science (BCTCS 2013), Bath, UK, March 2013
  • Mobile Compensating CSP, SMAL Meeting, King's College London, UK, Dec 2012 (PDF)
  • Survey on the Service-Oriented Architecture Process Calculi, SSC2012, Uxbridge, UK, 2012 (PDF)
  • Specification and Analysis of Service Oriented Architectures within Higher Order Constructive Type Theory, SMAL event day (Part 1), King's College London, UK, June 2012 (PDF)
  • General Dynamic Recovery for Compensating CSP, DCM2012, Cambridge, UK, 2012 (PDF)
  • Specification and Analysis of Service Oriented Architectures within Higher Order Constructive Type Theory, Plab Meeting (KIT visitors), King's College London, UK, 2011

Posters:

  • Specification and Analysis of Service Oriented Architectures (SOA) within Higher Order ConstructiveType Theory, Ada Lovelace Day, Celebrating Women in Science, KCL, London, UK, 2014 
  • Specification and Analysis of Service Oriented Architectures (SOA) within Higher Order ConstructiveType Theory, 7th SSC, Edinburgh, UK,2014
  • Specification and Analysis of Service Oriented Architectures (SOA) within Higher Order ConstructiveType Theory, Research Day of the School of Natural & Mathematical Science, KCL, London, UK, 2014 
  • Specification and Analysis of Service Oriented Architectures (SOA) within Higher Order ConstructiveType Theory, PhD poster competition, KCL, London (PDF)
  • Service- Oriented Architectures (SOA), EAP poster exhibition, UCL, London (PDF)

Attended training courses (Selected):

  • 2014 How to Construct An ArgumentKing's College London, UK
  • 2014  MindmappingKing's College London, UK 
  • 2013-2014  Springboard Women’s Development Programme,  King's College London, UK 
  • 2013 Introduction to Academic Leadership, ALC, Saudi Higher Education Ministry, Manchester, UK
  • 2013 Speakeasy Public Speaking for Research Students and Research Staff, King's College London, UK 
  • 2012 Neruro-Linguistic Programming NLP for Researchers, King's College London, UK 
  • 2012 Advanced Concurrency/ Model Checking (MCH), Oxford University, Oxford, UK
  • 2011 Concurrency and Distributed Systems (CDS), Oxford University, Oxford, UK
  • 2009 Network & Host Security course, Information Security Consultant – I(TS)2, Riyadh, KSA
  • 2009 Training trainers for distributing the dialogue culture, King Abdul Aziz Dialogue Center, Riyadh, KSA
  • 2008 Courses in ICDN1 and ICDN2 for CCNA Cisco certification, Global Knowledge, Riyadh, KSA

 

Conducted Workshops:

  • Training session,  "Decision-Making and Time Management", Universities fair, June, 2014, pptx
  • Workshop "How to protect your computer?", Princess Norah Bint Abullrahman University, May 2009
  • Workshop "The development of communication skills in the dialogue", King Saud University, June 2009

 

Attachment: 
AttachmentSize
PDF icon financecasestudy.pdf129.52 KB
PDF icon soacspincoq.pdf87.73 KB
PDF icon mobexincsp.pdf60.25 KB