Nominee
Project
Role Type
Criteria
Irfan has contributed to the CHESS features related to contract based design (in particular the work about weak contracts), architectural patterns, supporting the integration with the OpenCert platform and argument fragments generation.
Nominated by
Date
-
Status
This election has been approved by the PMC.
| Voter | Vote | Comments |
|---|---|---|
| Stefano puri | +1 | +1 implied by nomination |
| Leonardo Montecchi | +1 | |
| Nicholas Pacini | +1 |
PMC Approval
- Benoit Langlois (+1) Welcome!