M
Research Interests
Marine and Coastal Ecosystems
Marine Biology and Ecology Research
Marine Toxins and Detection Methods
Microbial Community Ecology and Physiology
Protist Diversity and Phylogeny
Software Testing and Debugging Techniques
Software Reliability and Analysis Research
Formal Methods in Verification
Security and Verification in Computing
Adversarial Robustness in Machine Learning