Pesquisa & engenharia Iowa State University

Em busca das falhas dos sistemas inteligentes.

Eu sou Anwar Zahid. Estudo como e por que a IA e o software numérico falham, e crio ferramentas que tornam essas falhas mais fáceis de detectar, reproduzir e corrigir.

Confiabilidade de IA Depuração numérica Engenharia de software

Anwar Hossain Zahid Retrato de Anwar Hossain Zahid
01 / PERFIL Anwar Hossain Zahid
Explorando a confiabilidade abaixo da superfície Role para descobrir

Novidades

De entregar software a estudar por que ele falha.

Faço doutorado em Ciência da Computação na Iowa State University, com orientação de Wei Le no Program Analysis and AI Lab. Minha pesquisa se concentra em sistemas de IA confiáveis, depuração numérica e técnicas de engenharia de software para sistemas de aprendizado de máquina.

Antes do doutorado, passei quatro anos trabalhando com engenharia de software em plataformas de bancos, governo eletrônico, IA e dispositivos móveis. Essa bagagem na indústria define meu jeito de pesquisar: me interessam os métodos que podem virar ferramentas práticas para quem desenvolve e pesquisa. A trajetória completa está na página “Sobre” detalhada.

O que acontece abaixo da superfície?

Dá para confiar na resposta?

Estudo as alucinações de LLMs e avalio em que ponto os sistemas inteligentes deixam de ser confiáveis.

Onde um número sai dos trilhos?

Rastreio a instabilidade numérica e as regressões silenciosas no software que move o aprendizado de máquina.

Como tornar isso útil?

Crio ferramentas de teste e depuração interpretáveis, que ajudam as pessoas a entender falhas e corrigi-las.

Trabalhos revisados por pares e preprints

Sobre confiabilidade de ML, avaliação de LLMs e correção numérica. Os artigos são publicados em inglês.

Confiabilidade de ML Soft Assertions Encontre os bugs escondidos nos números.
FSE 2025 / PACMSE

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions

Shaila Sharmin, Anwar Hossain Zahid, Subhankar Bhattacharjee, Chiamaka Igwilo, Miryung Kim, and Wei Le

Apresenta Soft Assertions, um método para detectar e provocar bugs ocultos de instabilidade numérica em aplicações de aprendizado de máquina.

BibTeX
@article{sharmin2025softassertions,
  title   = {Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions},
  author  = {Sharmin, Shaila and Zahid, Anwar Hossain and Bhattacharjee, Subhankar and Igwilo, Chiamaka and Kim, Miryung and Le, Wei},
  journal = {Proceedings of the ACM on Software Engineering (PACMSE), issue FSE 2025},
  year    = {2025},
  doi     = {10.1145/3729394},
  url     = {https://arxiv.org/pdf/2504.15507}
}
Avaliação de LLMs O contexto importa. Detecção de discurso de ódio em diferentes regiões.
arXiv:2502.19612

Evaluation of Hate Speech Detection Using Large Language Models and Geographical Contextualization

Anwar Hossain Zahid, Monoshi Kumar Roy, and Swarna Das

Avalia o desempenho de grandes modelos de linguagem na detecção de discurso de ódio quando recebem contexto geográfico e social.

BibTeX
@misc{zahid2025hatespeech,
  title         = {Evaluation of Hate Speech Detection Using Large Language Models and Geographical Contextualization},
  author        = {Zahid, Anwar Hossain and Roy, Monoshi Kumar and Das, Swarna},
  year          = {2025},
  eprint        = {2502.19612},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/2502.19612}
}
Computação numérica em GPU NVIDIA / AMD Mesmo cálculo. Resultados diferentes.
arXiv:2410.09172

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs

Anwar Hossain Zahid, Ignacio Laguna, Wei Le

Estuda diferenças numéricas entre execuções em GPUs NVIDIA e AMD e suas consequências para a reprodutibilidade e a portabilidade.

BibTeX
@misc{zahid2024gpunumerics,
  title         = {Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs},
  author        = {Zahid, Anwar Hossain and Laguna, Ignacio and Le, Wei},
  year          = {2024},
  eprint        = {2410.09172},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/2410.09172}
}
Ensino de engenharia de software Aprender fazendo. Uma plataforma conceitual de estágio virtual.
ICCIT 2020

A Conceptual Design of Virtual Internship System to Benchmark Software Development Skills in a Blended Learning Environment

Raihan Mia, Anwar Hossain Zahid, Bipul Chandra Dev Nath, and Abu Sayed Md Latiful Hoque

Apresenta o projeto conceitual de uma plataforma de software para estágios virtuais e para avaliar habilidades de desenvolvimento de software.

BibTeX
@inproceedings{mia2020virtualinternship,
  title     = {A Conceptual Design of Virtual Internship System to Benchmark Software Development Skills in a Blended Learning Environment},
  author    = {Mia, Raihan and Zahid, Anwar Hossain and Nath, Bipul Chandra Dev and Hoque, Abu Sayed Md Latiful},
  booktitle = {2020 23rd International Conference on Computer and Information Technology (ICCIT)},
  year      = {2020},
  publisher = {IEEE},
  doi       = {10.1109/ICCIT51783.2020.9392670},
  url       = {https://ieeexplore.ieee.org/document/9392670}
}

Pesquisa com os pés no software real.

Experiência em pesquisa, bancos, governo eletrônico e software para dispositivos móveis.

Sistemas e trabalhos aplicados em destaque

Trabalhos de disciplinas e repositórios menores estão recolhidos mais abaixo.

Letramento em IA Today’s AI Descubra ferramentas. Aprenda a usá-las.

Today's AI — Encontre ferramentas de IA e aprenda a usá-las

Uma plataforma web que ajuda estudantes da educação básica, da graduação e da pós — e qualquer pessoa curiosa sobre IA — a encontrar as ferramentas certas e aprender a usá-las. Criação e desenvolvimento principal sob a orientação de Wei Le.

  • Web platform
  • LLM assistant
  • Search
  • AI literacy
Testes de ML Soft Assertions Detecte instabilidade numérica em ML.

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions

Artigo do FSE 2025 que apresenta Soft Assertions para detectar e provocar bugs de instabilidade numérica em aplicações de ML.

  • Python
  • PyTorch
  • TensorFlow
LLNL / Varity Entre GPUs. Geração de código HIP para testes numéricos.

Testes numéricos em GPU – Geração de código HIP no Varity

Contribuição para o projeto Varity, do LLNL, com a geração de um backend HIP para testar kernels de GPU, permitindo avaliar a consistência numérica entre plataformas.

  • C++
  • HIP
  • CUDA
  • LLVM
Linguagem + geografia Palavras em contexto. Avaliando a detecção de ódio com LLMs.

Detecção de discurso de ódio com contexto geográfico

Um projeto de disciplina ampliado para avaliar modelos de detecção de discurso de ódio com metadados geográficos. Depois foi adaptado para testar grandes modelos de linguagem e publicado em 2025.

  • Python
  • Transformers
  • HuggingFace
  • Scikit-learn
Visão computacional Rosto + prova de vida Reconhecimento e antifraude para bancos.

Reconhecimento facial com prova de vida

Sistema de reconhecimento facial e detecção de fraude em tempo real para aplicações de fintech, que reforça a verificação bancária a distância.

  • Python
  • OpenCV
  • Dlib
  • FaceNet
Outros repositórios
  • Parliament Resource Planning – SSO Integration — Implemented Single Sign-On authentication for PRP system, enabling secure unified access across parliamentary resource modules.
  • MoneyGram SOAP API Integration — TODO: verify scope/details — inferred only from the repo name. Integrated a SOAP-based API with MoneyGram remittance services as part of banking platform work.
  • COM S 572 – Machine Learning Project — Implemented and evaluated ML algorithms for natural language processing tasks. Later extended for LLM experiments and paper publication.
  • Othello AI Agent — Developed an intelligent Othello game-playing agent using adversarial search algorithms and heuristic evaluation functions.
  • Mancala Game Simulation — Created a Mancala game engine with an AI opponent using minimax and heuristic strategies.
  • Ray Tracing Renderer — Built a ray tracing engine from scratch to render 3D scenes with reflection, refraction, and shading.
  • Nachos – Instructional Operating System — Extended the Nachos instructional OS to implement thread scheduling, virtual memory, and file system operations.
  • Channel Equalization for Wireless Communication — Implemented and tested channel equalization algorithms to improve signal quality in noisy communication environments.

Desenhar disciplinas. Ensinar na prática.

Assistente de ensino no Departamento de Ciência da Computação da Iowa State University, contribuindo com o desenho de disciplinas, introdução à programação e inteligência artificial.

Notas de pesquisa e relatos de engenharia

Os textos em si estão em inglês.

1 de mai. de 2026

What I Want This Blog to Become

Academic papers are necessarily compressed. They describe the method, the evaluation, and the result, but they often leave out the messy middle: why a test design chan...

Todos os textos →

Vamos conversar.

O jeito mais rápido de falar comigo é por e-mail.