Niki Vazou - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Wed 23 Sep 2015

Name:Niki Vazou

Affiliation:IMDEA Software Institute

Personal website: https://nikivazou.github.io/

Contributions

2024

PLMW

Research, Grad School, Community - Let's chat!

Haskell

ICFP

Refinement Types from Light to Deep Verification

TyDe

Committee Member in Program Committee within the TyDe 2024-track

Show activities from other conferences

ICFP 2024-profile
View general profile

	
		OSZAR »