Concepedia

Author

Petr Marchenko

University College London

Also Known As

Petr Marchenko

7

Publications

276

Citations

5

H-Index

15

Concepts

All Affiliations

University College LondonMassachusetts Institute of TechnologyGoogle (United States)
PM

About

Petr Marchenko is an author at University College London specializing in software analysis, formal verification, and data security.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

108

2

Computer Engineering

2

2

108

3

Computer Science

2

2

108

4

Compilers

2

2

108

5

Data Security

2

2

108

Petr Marchenko

×

4

Publications

268

Citations

4

H-Index

YearCitations

Page 1