Research Program Towards High-Quality and Intelligent Software (THIS)

Activities

Activities per year 2014 2022 2023

• 32 Peer-review (publication)
• 16 Organising an event
• 11 Talk or presentation (not at a conference)
• 6 Editorial work journal
• 18 More
  • 4 Visiting researcher
  • 3 Attending an event
  • 3 PhD examination
  • 2 Membership of committee
  • 2 Conference contribution (without a publication)
  • 1 Webmaster / website management
  • 1 PhD supervision at external institution
  • 1 Membership of network
  • 1 External appointment

Activities per year

Search results

• From smart to secure contracts: automated security assessment and improvement of Ethereum smart contracts

  Hugo Jonker (Assessment committee member)

  2022

  Activity: PhD supervision and PhD examination types › PhD examination › Academic

• PhD supervision of: Making students test infected

  Tanja Vos (Supervisor), Erik Barendsen (Co-supervisor), Beatriz Marín (Co-supervisor) & Migchiel van Diggelen (Co-supervisor)

  2021 → 2024

  Activity: PhD supervision and PhD examination types › PhD examination › Academic

• PhD supervision of: Evolutionary-based GUI testing

  Tanja Vos (Supervisor), Sylvia Stuurman (Co-supervisor) & Beatriz Marín (Co-supervisor)

  2021 → 2024

  Activity: PhD supervision and PhD examination types › PhD examination › Academic