Registered user since Mon 9 Jan 2017

Name: Abdulbaki Aydin

Country: United States

Affiliation: Microsoft, USA

Personal website:

Research interests: Software Verification, Program Analysis, Software Security, Model Counting


ESEC/FSE 2018Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile