1. Editor of research journal
  2. Data Science Journal (Journal)

    Shanahan, H. (Member of editorial board)
    31 Jul 2015

    Activity: Publication peer-review and editorial workEditor of research journal

  3. Information Processing Letters (Journal)

    Chockler, G. (Member of editorial board)
    2010 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  4. Journal of Parallel and Distributed Computing (Journal)

    Chockler, G. (Guest editor)
    Jun 2011

    Activity: Publication peer-review and editorial workEditor of research journal

  5. The Computer Journal (Journal)

    Murtagh, F. (Editor)
    1 Jun 2012 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  6. The Computer Journal (Journal)

    Murtagh, F. (Editor)
    2012 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  7. Theoretical Computer Science (Journal)

    Robinson, P. (Guest editor)
    2016 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  8. Peer review of manuscripts
  9. Mathematical Reviews (AMS) (Journal)

    Tzameret, I. (Reviewer)
    2015 → …

    Activity: Publication peer-review and editorial workPeer review of manuscripts

  10. Participation in conference
  11. 3DSig Structural Bioinformatics and Computational Biophysics 2015, Dublin

    Alnasir, J. (Speaker)
    10 Jul 201511 Jul 2015

    Activity: Participating in or organising an eventParticipation in conference

  12. Annual PhD Colloquium RHUL Computer Science

    van Binsbergen, L. T. (Speaker)
    1 Jun 2018

    Activity: Participating in or organising an eventParticipation in conference

  13. BCTCS 2015

    van Binsbergen, L. T. (Participant)
    2015 → …

    Activity: Participating in or organising an eventParticipation in conference

  14. BCTCS 2016

    van Binsbergen, L. T. (Speaker)
    22 Mar 2016

    Activity: Participating in or organising an eventParticipation in conference

  15. BCTCS 2018

    van Binsbergen, L. T. (Organiser)
    Mar 2018

    Activity: Participating in or organising an eventParticipation in conference

  16. Big Data Analytics Training Workshop, MSTI ENSIAS, Morocco

    Alnasir, J. (Participant)
    25 May 201530 May 2015

    Activity: Participating in or organising an eventParticipation in conference

  17. CloudTech'16, Marrakech, Morocco.

    Alnasir, J. (Speaker)
    24 May 201625 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  18. Combinators for Generalised Parsing - Haskell eXchange 2016

    van Binsbergen, L. T. (Participant)
    6 Oct 20167 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference

  19. Co-organiser CSPRC (Computer Science Postgraduate Research Colloquium) '14 conference

    Alnasir, J. (Organiser)
    4 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  20. CSERC 2014

    van Binsbergen, L. T. (Participant)
    Nov 2014

    Activity: Participating in or organising an eventParticipation in conference

  21. Defining Parser Combinators with Attribute Grammars - Annual PhD Colloquium RHUL 2015

    van Binsbergen, L. T. (Speaker)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  22. Developing data-driven Biology in Morocco, Tangier, Morocco

    Alnasir, J. (Speaker)
    17 Feb 2014

    Activity: Participating in or organising an eventParticipation in conference

  23. Doctoral School Summer Conference 2016 "SPACE"

    van Binsbergen, L. T. (Participant)
    Jun 2016

    Activity: Participating in or organising an eventParticipation in conference

  24. Doctoral School Summer Conference 2017 "CHANGE"

    van Binsbergen, L. T. (Speaker)
    6 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

  25. Editor/Organiser CSPRC (Computer Science Postgraduate Research Colloquium) '16 conference

    Alnasir, J. (Organiser)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  26. Efficient Interpretation of I-MSOS - IFL 2016

    van Binsbergen, L. T. (Speaker)
    31 Aug 20162 Sep 2016

    Activity: Participating in or organising an eventParticipation in conference

  27. Fisher Centre for Computational Biology meeting

    Alnasir, J. (Participant)
    6 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  28. From Duplexes to Quadruplexes – Understanding DNA Structure and Function

    Alnasir, J. (Participant)
    3 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

  29. Generalised Parsing and Combinator Parsing - Parsing@SLE 2016

    van Binsbergen, L. T. (Participant)
    30 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference

  30. Generative Programming: Concepts & Experiences

    van Binsbergen, L. T. (Speaker)
    6 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  31. Linear Ordered Attribute Grammars - without fake dependency selection - TFP 2014

    van Binsbergen, L. T. (Speaker)
    Mar 2014

    Activity: Participating in or organising an eventParticipation in conference

  32. Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015

    van Binsbergen, L. T. (Speaker)
    15 Apr 2015

    Activity: Participating in or organising an eventParticipation in conference

  33. Linearly Ordered Attribute Grammars - with Automatic Augmenting Dependency Selection - PEPM 2015

    van Binsbergen, L. T. (Speaker)
    Jan 2015

    Activity: Participating in or organising an eventParticipation in conference

  34. MatBio '16 (Mathematical Foundations in Bioinformatics), King's college London

    Alnasir, J. (Speaker)
    20 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

  35. Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

    van Binsbergen, L. T. (Participant)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  36. Poster Demo - Modular Semantics with UUAGC - TACAS 2015

    van Binsbergen, L. T. (Participant)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  37. Principles of Programming Languages (POPL2018)

    van Binsbergen, L. T. (Participant)
    2018

    Activity: Participating in or organising an eventParticipation in conference

  38. Software Language Engineering

    van Binsbergen, L. T. (Speaker)
    5 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  39. Statistical Learning and Data Sciences (SLDS)

    Cherubin, G. (Speaker)
    2015

    Activity: Participating in or organising an eventParticipation in conference

  40. Strachey 100

    van Binsbergen, L. T. (Participant)
    19 Nov 2016

    Activity: Participating in or organising an eventParticipation in conference

  41. Tool Support for Component-Based Semantics - NWPT 2015

    van Binsbergen, L. T. (Speaker)
    Oct 2015 → …

    Activity: Participating in or organising an eventParticipation in conference

  42. Participation in workshop, seminar, course
  43. Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium

    van Binsbergen, L. T. (Speaker)
    5 Jan 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  44. International Summer School on Meta-Programming

    van Binsbergen, L. T. (Participant)
    8 Aug 201612 Aug 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  45. S-REPLS 9

    van Binsbergen, L. T. (Speaker)
    25 May 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  46. Invited talk
  47. 3rd workshop on Advances in Distributed Graph Algorithms (ADGA 2015)

    Robinson, P. (Speaker)
    6 Oct 2015

    Activity: Talk or presentationInvited talk

  48. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    8 Dec 2008

    Activity: Talk or presentationInvited talk

  49. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    10 Nov 2008

    Activity: Talk or presentationInvited talk

  50. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    20 Nov 2008

    Activity: Talk or presentationInvited talk

  51. A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana

    Shanahan, H. (Speaker)
    26 Sep 2008

    Activity: Talk or presentationInvited talk

  52. A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana

    Shanahan, H. (Speaker)
    19 Sep 2007

    Activity: Talk or presentationInvited talk

  53. CS3110/CS5110 Bioinformatics - Next-Gen. Sequencing and Transcriptomics

    Alnasir, J. (Speaker)
    16 Mar 2017

    Activity: Talk or presentationInvited talk

  54. Executable Component Based Semantics - 10th PL Retreat TU Delft

    van Binsbergen, L. T. (Speaker)
    20 Apr 2016

    Activity: Talk or presentationInvited talk

  55. Funcons (Guest Lecture)

    van Binsbergen, L. T. (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

  56. Funcons: Basics of imperative programming (Guest Lecture)

    van Binsbergen, L. T. (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

  57. Lessons learnt from transcriptomics in A. thaliana

    Shanahan, H. (Speaker)
    18 Mar 2009

    Activity: Talk or presentationInvited talk

  58. New advances in algebraic circuits and proofs

    Tzameret, I. (Speaker)
    May 2016

    Activity: Talk or presentationInvited talk

  59. Reaching Agreement in a Dynamic Distributed System

    Robinson, P. (Speaker)
    26 Sep 201630 Sep 2016

    Activity: Talk or presentationInvited talk

  60. The detection of DNA-binding proteins by means of structural motifs

    Shanahan, H. (Speaker)
    28 Jan 2008

    Activity: Talk or presentationInvited talk

  61. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    van Binsbergen, L. T. (Speaker)
    25 Jan 2018

    Activity: Talk or presentationInvited talk

  62. Oral presentation
  63. Funcons for HGMP

    van Binsbergen, L. T. (Speaker)
    6 Nov 2018

    Activity: Talk or presentationOral presentation

  64. GLL Parsing with Flexible Combinators

    van Binsbergen, L. T. (Speaker)
    5 Nov 2018

    Activity: Talk or presentationOral presentation

  65. Membership of peer review panel or committee
  66. 16th International Conference on Distributed Computing and Networking (ICDCN 2015) (External organisation)

    Robinson, P. (Participant)
    2015 → …

    Activity: MembershipMembership of peer review panel or committee

  67. 17th International Conference on Distributed Computing and Networking (ICDCN 2016) (External organisation)

    Robinson, P. (Chair)
    4 Jan 20167 Jan 2016

    Activity: MembershipMembership of peer review panel or committee

  68. 21rd International Colloquium on Structural Information and Communication Complexity (External organisation)

    Robinson, P. (Participant)
    2014 → …

    Activity: MembershipMembership of peer review panel or committee

  69. 23rd International Colloquium on Structural Information and Communication Complexity (External organisation)

    Robinson, P. (Participant)
    2016

    Activity: MembershipMembership of peer review panel or committee

  70. 28th ACM Symposium on Parallelism in Algorithms and Architectures (External organisation)

    Robinson, P. (Participant)
    2016 → …

    Activity: MembershipMembership of peer review panel or committee

  71. PhD Student Representative CS Department (External organisation)

    van Binsbergen, L. T. (Participant)
    20152016

    Activity: MembershipMembership of peer review panel or committee

  72. Postgraduate Representative BCTCS (External organisation)

    van Binsbergen, L. T. (Participant)
    20162017

    Activity: MembershipMembership of peer review panel or committee

  73. Postgraduate staff-student committee Chair/PhD student representative (External organisation)

    Alnasir, J. (Chair)
    1 Aug 20151 Aug 2016

    Activity: MembershipMembership of peer review panel or committee

  74. Postgraduate staff-student committee postgraduate student representative (External organisation)

    Alnasir, J. (Participant)
    1 Aug 20131 Aug 2014

    Activity: MembershipMembership of peer review panel or committee

  75. The Sixteenth International Workshop on Logic and Computational Complexity (LCC 2015) (External organisation)

    Tzameret, I. (Participant)
    2015 → …

    Activity: MembershipMembership of peer review panel or committee

  76. Membership of public/government advisory/policy group or panel
  77. International Joint Conferences on Ambient Intelligence (External organisation)

    Stathis, K. (Participant)
    1 Jun 2010

    Activity: MembershipMembership of public/government advisory/policy group or panel

  78. Membership of research network
  79. Member of TYPES steering committee (External organisation)

    Luo, Z. (Participant)
    25 Apr 2013

    Activity: MembershipMembership of research network

  80. Examination
  81. External referee

    Shanahan, H. (Examiner)
    31 May 2007

    Activity: Examination

  82. International referee for a Ph.D. thesis

    Yang, H. (Examiner)
    2012

    Activity: Examination

  83. Ph.D. External Examiner

    Shanahan, H. (Examiner)
    4 May 2010

    Activity: Examination

  84. Ph.D. Internal Examiner

    Shanahan, H. (Examiner)
    30 Nov 2011

    Activity: Examination

  85. Ph.D. Internal Examiner

    Shanahan, H. (Examiner)
    Sep 2011

    Activity: Examination

  86. Referee for Bioinformatics

    Shanahan, H. (Examiner)
    2011

    Activity: Examination

  87. Reviewer for Garland Science Press

    Shanahan, H. (Examiner)
    9 Nov 2011

    Activity: Examination

  88. Teaching at Summer School "Chips, Crops and Computers"

    Shanahan, H. (Examiner)
    Sep 2009 → …

    Activity: Examination

  89. Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
  90. The annotation of protocol sequencing steps in the Sequence Read Archive - Cake Talk, CS Department

    Alnasir, J. (Participant)
    4 Feb 2014

    Activity: OtherPublic engagement, outreach and knowledge exchange - Public Lecture/debate/seminar

  91. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    van Binsbergen, L. T. (Speaker)
    17 Jan 2018

    Activity: OtherPublic engagement, outreach and knowledge exchange - Public Lecture/debate/seminar

  92. The Operational Semantics of Programs - Cake Talk CS Department

    van Binsbergen, L. T. (Speaker)
    15 Mar 2017

    Activity: OtherPublic engagement, outreach and knowledge exchange - Public Lecture/debate/seminar