Steven Keuchel - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Mon 24 Jan 2022

Name:Steven Keuchel

Country:Belgium

Affiliation:Vrije Universiteit Brussel

Personal website: https://soft.vub.ac.be/~skeuchel/

GitHub: https://github.com/skeuchel

Contributions

2022

ICFP

Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)

Show activities from other conferences

ICFP 2022-profile
View general profile

	
		OSZAR »