Andreas Katis - FormaliSE 2025

Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada

co-located with ICSE 2025

Registered user since Wed 5 Aug 2020

Name:Andreas Katis

Affiliation:KBR / NASA Ames Research Center

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

Contributions

2025

ICSE

Committee Member in Artifact Evaluation within the Artifact Evaluation-track

FormaliSE

Committee Member in Artifact Evaluation Committee within the Artifact Track-track

Show activities from other conferences

ICSE 2025-profile
View general profile

	
		OSZAR »