Department of Computing

Activities

Activities per year 2000 2018 2019 2020 2021 2024

• 409 Organizer / committee member
• 255 Editorial work for journals
• 40 Review of books, other publications, or software
• 38 Office holder / member of committee
• 84 More
  • 31 Invited talk
  • 21 Office holder / member of other professional body
  • 8 Office holder / member of board
  • 7 Consultancy
  • 7 Other
  • 3 Examination
  • 2 Office holder / member of council
  • 2 Visiting an external academic institution
  • 1 Participant
  • 1 Office holder / member of network
  • 1 Oral presentation

Activities per year

Search results

• Tutorial: Formal Analysis, Verification and Design of Safety-Critical CPS

  Wang, Q. (Speaker)

  1 Dec 2020

  Activity: Talk or presentation › Oral presentation