# Ehsan Estaji
> Computational biologist and research software engineer at Umeå Plant Science Centre (UPSC), Umeå University, Sweden.
> My work follows graph structure from mathematics and verifiable systems into computational
> biology, knowledge graphs, and reproducible software for plant and human genomics.

## Key links
- Homepage: https://ehsanestaji.com
- PlantGraph: https://plantgraph.se   (July 2026 snapshot: 349M nodes, 266M relationships, 70 sources, 150 entity types)
- GitHub: https://github.com/ehsanestaji
- Google Scholar: https://scholar.google.com/citations?user=nK8EziQAAAAJ&hl=en
- ORCID: https://orcid.org/0009-0005-0838-228X
- DBLP: https://dblp.org/pid/211/0954.html
- LinkedIn: https://www.linkedin.com/in/eestaji/
- ResearchGate: https://www.researchgate.net/profile/Ehsan-Estaji

## Research
- Metric dimension, resolving sets, Sierpiński graphs, distinguishing numbers, de Bruijn graphs
- Spectral / matrix graph theory (Moore–Penrose incidence of graphs; with R. B. Bapat)
- Coercion-resistant e-voting; machine-checked privacy proofs in EasyCrypt (PhD with P. Y. A. Ryan)
- Knowledge-graph engineering (Neo4j); plant and population genomics; pangenomes; lncRNAs in Arabidopsis

## Selected software
- PlantGraph — production knowledge graph for Arabidopsis thaliana with provenance, visible tool traces, and agentic retrieval: https://plantgraph.se
- FastaGuard v0.6 — Rust FASTA quality-control preflight with public releases, Bioconda, and BioContainers: https://github.com/ehsanestaji/FastaGuard
- VariantFlow v1.5 — Rust selective-execution engine for VCF operations, archived on Zenodo: https://doi.org/10.5281/zenodo.21198171

## Selected publications
- GAFM — graph-based fine-mapping across Pan-UK Biobank ancestries and the 3,000 Rice Genomes panel (bioRxiv, 2026): https://doi.org/10.64898/2026.05.15.725513
- GraphMana — graph-native data management for population genomics (bioRxiv, 2026): https://doi.org/10.64898/2026.04.11.717925
- GraphPop — graph-native computation for population genomics (bioRxiv, 2026): https://doi.org/10.64898/2026.04.11.717929
- Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co (Journal of Computer Security, 2023)
- Revisiting Practical and Usable Coercion-Resistant Remote E-Voting (E-Vote-ID, 2020)
- The Strong Metric Dimension of Generalized Sierpiński Graphs with Pendant Vertices (Ars Mathematica Contemporanea, 2017)
- Moore–Penrose Inverse of Incidence Matrix of Graphs with Complete and Cyclic Blocks (Discrete Mathematics, 2019)

## Contact
- Email: ehsan.estaji@umu.se
- Location: Umeå, Sweden