Project members

Members can be added by project Maintainers or Owners

Members 15

Account	Source	Activity
ArmborstL @m7668190	Inherited from Formal Methods and Tools / VerCors	Jan 15, 2021 Sep 28, 2021 Apr 01, 2025
Bos, Petra van den (UT-EEMCS) @m7667518	Inherited from Formal Methods and Tools / VerCors	Nov 04, 2020 Sep 28, 2021 Apr 14, 2025
Bos, Pieter (UT-EEMCS) Blocked @m7700755	Inherited from Formal Methods and Tools / VerCors	Sep 28, 2021 Sep 28, 2021 Aug 29, 2024
Castor de Lima Filho, Fernando (UT-EEMCS) @m7728407	Inherited from Formal Methods and Tools	Sep 14, 2023 Mar 21, 2024 Apr 07, 2025
Dijk, Tom van (UT-EEMCS) @tvandijk	Inherited from Formal Methods and Tools / VerCors	Sep 28, 2020 Apr 09, 2021 Apr 07, 2025
Huisman, Marieke (UT-EEMCS) @m7688543	Inherited from Formal Methods and Tools	Oct 19, 2020 Apr 09, 2021 Apr 01, 2025
Lathouwers, Sophie (UT) Blocked @m7660982	Inherited from Formal Methods and Tools / VerCors	Sep 28, 2021 Sep 28, 2021 Mar 22, 2024
Marielle @m7680523	Inherited from Formal Methods and Tools	Nov 18, 2020 Apr 09, 2021 Nov 14, 2022
Mensing, Robert (UT-EEMCS) @robert_mensing	Inherited from Formal Methods and Tools / VerCors	Jan 16, 2024 Jan 17, 2024 Apr 14, 2025
MontiRE Blocked @m7666839	Inherited from Formal Methods and Tools / VerCors	Nov 05, 2020 Sep 28, 2021 May 23, 2023
Rensink @m7644387	Inherited from Formal Methods and Tools	Nov 18, 2020 Apr 09, 2021 Apr 14, 2025
Rubbens, Bob (UT) @m7668382	Inherited from Formal Methods and Tools / VerCors	Oct 20, 2020 Apr 09, 2021 Mar 11, 2025
Stekelenburg, Alexander (UT-EEMCS) @m7734674	Inherited from Formal Methods and Tools / VerCors	Jan 24, 2024 Feb 05, 2024 Apr 08, 2025
Tasche, Philip Ben Heinrich (UT-EEMCS) @m7701020	Inherited from Formal Methods and Tools / VerCors	Jan 05, 2022 Jan 11, 2022 Apr 01, 2025
Şakar, Ömer (UT-EEMCS) @omersakar	Inherited from Formal Methods and Tools / VerCors	Sep 29, 2020 Apr 09, 2021 Apr 14, 2025