THE PEOPLE BEHIND THE CONFERENCE
MEMOCODE 2023
International Conference on Formal Methods and Models for Co-Design
Source-attributed rosters checked 2026-09-13. 36 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official organization, full Program Committee, and standing Steering Committee captured; no workshop organizer roster published.
MEMOCODE 2023 Organization and Program Committee
36 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Reinhard von HanxledenIdentity not yet linked | General Co-Chairs | Christian-Albrecht University of Kiel, Germany | Conference website ↗Checked 2026-09-13 |
| Stephen A. EdwardsIdentity not yet linked | General Co-Chairs | Columbia University, USA | Conference website ↗Checked 2026-09-13 |
| Jens BrandtIdentity not yet linked | Programme Committee Co-Chairs | Hochschule Niederrhein, Germany | Conference website ↗Checked 2026-09-13 |
| Qi ZhuIdentity not yet linked | Programme Committee Co-Chairs | Northwestern University, USA | Conference website ↗Checked 2026-09-13 |
| Shuvra BhattacharyyaIdentity not yet linked | Program Committee | University of Maryland | Conference website ↗Checked 2026-09-13 |
| Sudipta ChattopadhyayIdentity not yet linked | Program Committee | Singapore University of Technology and Design | Conference website ↗Checked 2026-09-13 |
| Thao DangIdentity not yet linked | Program Committee | CNRS/VERIMAG CNRS · Verimag | Conference website ↗Checked 2026-09-13 |
| Patricia DerlerIdentity not yet linked | Program Committee | Palo Alto Research Center | Conference website ↗Checked 2026-09-13 |
| Mamoun Filali-AmineIdentity not yet linked | Program Committee | IRIT | Conference website ↗Checked 2026-09-13 |
| Martin FränzleIdentity not yet linked | Program Committee | Carl von Ossietzky Universität Oldenburg | Conference website ↗Checked 2026-09-13 |
| Eunsuk Kang | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Rick KuhnIdentity not yet linked | Program Committee | Natl Institute of Standards & Technology | Conference website ↗Checked 2026-09-13 |
| Matthew KuoIdentity not yet linked | Program Committee | Auckland University of Technology | Conference website ↗Checked 2026-09-13 |
| Luciano LavagnoIdentity not yet linked | Program Committee | Politecnico di Torino | Conference website ↗Checked 2026-09-13 |
| Elizabeth LeonardIdentity not yet linked | Program Committee | Naval Research Laboratory | Conference website ↗Checked 2026-09-13 |
| Xuandong LiIdentity not yet linked | Program Committee | Nanjing University | Conference website ↗Checked 2026-09-13 |
| Stefan MitschIdentity not yet linked | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Katell Morin-AlloryIdentity not yet linked | Program Committee | TIMA Laboratory | Conference website ↗Checked 2026-09-13 |
| Luan Nguyen | Program Committee | University of Dayton | Conference website ↗Checked 2026-09-13 |
| Pierluigi NuzzoIdentity not yet linked | Program Committee | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Roberto PasseroneIdentity not yet linked | Program Committee | University of Trento | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | Program Committee | Bar Ilan University | Conference website ↗Checked 2026-09-13 |
| Pavithra PrabhakarIdentity not yet linked | Program Committee | Kansas State University | Conference website ↗Checked 2026-09-13 |
| Sanjiva PrasadIdentity not yet linked | Program Committee | Indian Institute of Technology Delhi | Conference website ↗Checked 2026-09-13 |
| Sven Schewe | Program Committee | University of Liverpool | Conference website ↗Checked 2026-09-13 |
| Klaus SchneiderIdentity not yet linked | Program Committee | University of Kaiserslautern | Conference website ↗Checked 2026-09-13 |
| Sandeep ShuklaIdentity not yet linked | Program Committee | Indian Institute of Technology Kanpur (IIT Kanpur) | Conference website ↗Checked 2026-09-13 |
| Marjan SirjaniIdentity not yet linked | Program Committee | Malardalen University, Reykjavik University Mälardalen University · Reykjavík University | Conference website ↗Checked 2026-09-13 |
| Jürgen TeichIdentity not yet linked | Program Committee | University of Erlangen-Nuremberg | Conference website ↗Checked 2026-09-13 |
| Ashutosh TrivediIdentity not yet linked | Program Committee | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Tiziano VillaIdentity not yet linked | Program Committee | Universita' di Verona | Conference website ↗Checked 2026-09-13 |
| Ji WangIdentity not yet linked | Program Committee | National Laboratory for Parallel and Distributed Processing | Conference website ↗Checked 2026-09-13 |
| Tuba Yavuz | Program Committee | University of Florida | Conference website ↗Checked 2026-09-13 |
| Chen Yu-FangIdentity not yet linked | Program Committee | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Lijun ZhangIdentity not yet linked | Program Committee | CAS | Conference website ↗Checked 2026-09-13 |
| Paolo ZulianiIdentity not yet linked | Program Committee | Newcastle University | Conference website ↗Checked 2026-09-13 |