معرفی
Anders Alnor Mathiasen is a Researcher at Aarhus University, focusing on theoretical aspects of static program analysis and computational complexity. He has co-authored influential work on Andersen's Pointer Analysis (APA), establishing tight complexity bounds and parallelizability limits.
- Key Research Areas: Static program analysis, algorithm complexity, formal verification, and parallel computing.
- Academic Contributions: His 2021 POPL paper formalized the cubic bottleneck of APA, providing optimal algorithms under sparsity conditions.
- Collaborations: Worked with Andreas Pavlogiannis on theoretical advancements in program analysis.
۰مقاله منتشرشده
