GradNova

M

Miriam C. Bergue Alves

Faculty Associate Research

Computer Science, Naval Postgraduate School

Research Interests

AI-Assisted Systems

Formal Verification & Validation of Systems

Space Systems Engineering and Operations

Systems Interoperability

Academic Metrics

Links

Grants