صفحة
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 Models; King'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 Argument, King's College London, UK
- 2014 Mindmapping, King'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