Ebru Aydin Gol -

Registered user since Sun 14 Apr 2019

Name:Ebru Aydin Gol

Country:Turkey

Affiliation:Middle East Technical University

Personal website: https://cps.ceng.metu.edu.tr

Research interests:Formal methods

Contributions

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track

2022

FormaliSE

Committee Member in Program Committee within the FormaliSE 2022-track

2021

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

2020

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

FormaliSE

Author of Clock Reduction in Timed Automata while Preserving Design Parameters within the FormaliSE 2019-track