AboutGiới thiệu
From formal mathematics to fishery digital twinsTừ toán học hình thức đến digital twin ngư nghiệp
Nguyen Thi Tra My is a PhD student in Computer Science at VinUniversity, working with the COSMOS Research Laboratory's Fishery & Ecosystem Intelligence group under Assoc. Prof. Nguyễn Ngọc Doanh. Her PhD project is a digital platform to support fisheries management and gradostat control in heterogeneous environments, and she is a research assistant on the lab's wider Digital Twin project at the Center for Environmental Intelligence (CEI).
Nguyễn Thị Trà My là nghiên cứu sinh ngành Khoa học Máy tính tại VinUniversity, làm việc trong nhóm Digital Twin Ngư nghiệp & Hệ sinh thái của COSMOS Research Laboratory dưới sự hướng dẫn của PGS. Nguyễn Ngọc Doanh. Đề tài nghiên cứu sinh của chị là nền tảng số hỗ trợ quản lý thủy sản và điều khiển gradostat trong môi trường không đồng nhất, đồng thời chị là trợ lý nghiên cứu cho dự án Digital Twin của lab tại Center for Environmental Intelligence (CEI).
She holds a Master's in Applied Mathematics (Computer Science & Mathematics for Informatics) from Université de Strasbourg, France, on a full-ride Labex IRMA scholarship, and a BSc in Mathematics from Hanoi National University of Education. Before VinUniversity, she was a researcher at the AI Laboratory, Thang Long University, contributing to national AI projects on depression detection, medical image classification, and a formal-mathematics abstraction service led by Prof. Thomas Hales (University of Pittsburgh).
Chị có bằng Thạc sĩ Toán ứng dụng (Khoa học Máy tính & Toán học cho Tin học) tại Université de Strasbourg, Pháp, theo học bổng toàn phần Labex IRMA, và bằng Cử nhân Toán học tại Đại học Sư phạm Hà Nội. Trước khi đến VinUniversity, chị là nghiên cứu viên tại AILab, Đại học Thăng Long, tham gia các đề tài AI cấp quốc gia về phát hiện trầm cảm, phân loại ảnh y tế và dịch vụ trừu tượng hóa toán học hình thức do GS. Thomas Hales (Đại học Pittsburgh) chủ trì.
