CUFinder

Andrew Sogokon

Andrew Sogokon

Carnegie Mellon University

H-index: 10

North America-United States

Contact Andrew Sogokon

About Andrew Sogokon

Andrew Sogokon, With an exceptional h-index of 10 and a recent h-index of 9 (since 2020), a distinguished researcher at Carnegie Mellon University, specializes in the field of Computer Science, Differential Equations, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Specifying Autonomous System Behaviour

Characterizing positively invariant sets: Inductive and topological methods

Pegasus: Sound continuous invariant generation

Andrew Sogokon Information

University

Position

___

Citations(all)

243

Citations(since 2020)

182

Cited By

152

hIndex(all)

10

hIndex(since 2020)

9

i10Index(all)

10

i10Index(since 2020)

9

Email

University Profile Page

Google Scholar

Andrew Sogokon Skills & Research Interests

Computer Science

Differential Equations

Formal Verification

Top articles of Andrew Sogokon

Specifying Autonomous System Behaviour

arXiv preprint arXiv:2302.10087

2023/2/20

Andrew Sogokon
Andrew Sogokon

H-Index: 6

Burak Yuksek
Burak Yuksek

H-Index: 6

Gokhan Inalhan
Gokhan Inalhan

H-Index: 16

Neeraj Suri
Neeraj Suri

H-Index: 21

Characterizing positively invariant sets: Inductive and topological methods

Journal of Symbolic Computation

2022/11/1

Andrew Sogokon
Andrew Sogokon

H-Index: 6

Pegasus: Sound continuous invariant generation

Formal Methods in System Design

2021/10

Andrew Sogokon
Andrew Sogokon

H-Index: 6

Stefan Mitsch
Stefan Mitsch

H-Index: 16

Yong Kiam Tan
Yong Kiam Tan

H-Index: 10

André Platzer
André Platzer

H-Index: 35

See List of Professors in Andrew Sogokon University(Carnegie Mellon University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine