Skip to content

Scientist · Computer Science

Mark G. Pleszkoch

Institute For Defense Analyses, Alexandria, United States

iD0000-0003-0135-5287

Citations, last 5 years: 2
Works, last 5 years: 7
h-index: 11
Citations, all time: 413
In Computer Science: #409,924

Research topics

Logic, programming, and type systems19Computer Science
Software Testing and Debugging Techniques13Computer Science
Security and Verification in Computing12Computer Science
Formal Methods in Verification10Computer Science
Software Engineering Research10Computer Science

Recent works

Discussion

Ask Mark about their research. When the scientist claims this card, they will see your question.

Start a discussion