Concepedia

Author

Ali Sinan Köksal

École Polytechnique Fédérale de Lausanne

Also Known As

Ali Sinan Koksal, Ali Sinan Köksal, Köksal, Ali Sinan

15

Publications

371

Citations

8

H-Index

19

Concepts

All Affiliations

École Polytechnique Fédérale de LausanneUniversity of California, BerkeleyMicrosoft Research (United Kingdom)
AS

About

Ali Sinan Köksal is an author at École Polytechnique Fédérale de Lausanne specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

173

2

Computer Science

3

3

136

3

Systems Engineering

2

2

111

4

Control Systems

2

2

111

5

Biology

1

1

37

Ali Sinan Köksal

×

5

Publications

210

Citations

5

H-Index

YearCitations

Page 1