Skip to content

Scientist · Computer Science

Denis Valentinovich Efremov

Rockwell Automation (United States), Milwaukee, United States

iD0000-0002-9916-056X

Citations, last 5 years: 47
Works, last 5 years: 5
h-index: 5
Citations, all time: 98
In Computer Science: #175,170

Research topics

Formal Methods in Verification10Computer Science
Logic, programming, and type systems9Computer Science
Software Testing and Debugging Techniques7Computer Science
Security and Verification in Computing3Computer Science
Topic Modeling2Computer Science

Recent works

Discussion

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

Start a discussion