Skip to content

Scientist · Computer Science

Darren D. Cofer

Collins Aerospace (United States), Charlotte, United States

iD0000-0003-4928-908X

Citations, last 5 years: 77
Works, last 5 years: 14
h-index: 22
Citations, all time: 1 606
In Computer Science: #128,383

Research topics

Formal Methods in Verification72Computer Science
Safety Systems Engineering in Autonomy58Engineering
Model-Driven Software Engineering Techniques26Computer Science
Logic, programming, and type systems25Computer Science
Advanced Software Engineering Methodologies22Computer Science

Recent works

Discussion

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

Start a discussion