Étienne Payet

Professor of Computer Science

Picture of Étienne Payet

Contact

Address:	LIM, Faculté des Sciences et Technologies, Université de La Réunion
	Parc Technologique Universitaire - Bâtiment 2
	2 rue Joseph Wetzell
	97490 Sainte Clotilde
	Île de La Réunion, France
Phone:	+262 (0) 262 48 33 95
Email:	etienne [dot] payet [at] univ-reunion [dot] fr

ORCID
Keywords: program verification, static analysis, termination, non-termination, logic programming, term rewriting
Publications: DBLP, Google Scholar, ResearchGate, full texts
Software: NTI