Dr. Andrew D***

Formal Specification of Software Safety-Critical Systems Engineering Software Metrics and Quality Assurance Human Factors in Software Engineering Dependency Management and Supply Chain Security Machine Learning Systems Engineering (MLOps) Empirical Software Engineering Model-Driven Software Development Automated Software Testing and Fuzzing Open Source Software Development Agile and DevOps Methodologies Collaborative Software Engineering Code Analysis and Refactoring Software Security Vulnerability Detection Domain-Specific Modeling Languages Continuous Integration and Deployment (CI/CD) Embedded Software Verification Requirements Engineering and Traceability Software Architecture and Design Patterns Microservices Architecture and Governance API Design and Interface Evolution Software Maintenance and Evolution Cloud-Native Software Engineering Mobile Application Development Engineering Component-Based Software Systems Distributed Software Systems Concurrency Bugs and Race Condition Detection Software Cost Estimation and Project Analytics Program Synthesis and Automated Repair Software Reliability Engineering