Department of Applied Mathematics and Computer Science

Activities

Activities per year 1999 2015 2017 2018 2019 2021 2022 2023

• 293 Conference presentations
• 88 Participating in or organising workshops, courses, seminars etc.
• 77 Peer review of manuscripts
• 57 Other
• 306 More
  • 46 Participating in or organising a conference
  • 37 Talks and presentations in private or public companies and organisations
  • 36 Supervisor activities
  • 35 External examination
  • 34 Examination
  • 30 Membership of commitees, commissions, boards, councils, associations, organisations, or similar
  • 21 Guest lectures, external teaching and course activities at other universities
  • 20 Journal editor
  • 15 Visiting another research institution
  • 14 Membership in review committee
  • 5 Public sector consultancy
  • 4 Membership of research networks or expert groups
  • 3 Consultancy
  • 2 Hosting a guest lecturer
  • 2 Study administrative duties
  • 1 Editor of unfinished research anthology/collection
  • 1 Board duties in companies, associations, or public organisations

Activities per year

Search results

• European Food Safety Authority, EFSA

  Camilla Thyregod (Consultant)

  1 Nov 2019 → 31 Dec 2020

  Activity: Public and private sector consultancy › Public sector consultancy

• An Introduction to Formal Methods for Software Development

  Anne Elisabeth Haxthausen (Consultant)

  7 Oct 2011

  Activity: Public and private sector consultancy › Public sector consultancy

• An Introduction to Formal Methods for Software Development

  Anne Elisabeth Haxthausen (Consultant)

  25 Jun 2010

  Activity: Public and private sector consultancy › Public sector consultancy

• Formal Methods: A Tutorial on Model-oriented Specification

  Anne Elisabeth Haxthausen (Consultant)

  14 Oct 2010

  Activity: Public and private sector consultancy › Public sector consultancy

• An Introduction to Formal Methods for the Development of Safety-critical Applications

  Anne Elisabeth Haxthausen (Consultant)

  1 Sep 2010

  Activity: Public and private sector consultancy › Public sector consultancy