Computer Sciences Dept.

Alexey Loginov

Formerly, a graduate student
(Advisor: Thomas W. Reps)
Picture of Alexey Loginov

Research Interests:

Program analysis and verification. In particular, analysis of infinite-state systems, shape analysis, and the use of machine learning in program analysis.

List of Publications


Conference Publications

Other Publications and Reports

Computer Sciences | UW Home

Best viewed with any browser