معرفی
Andrew S. Miner is an Associate Professor in the Department of Computer Science at Iowa State University. His research focuses on Software Engineering, Programming Languages, and Theoretical Foundations, with a particular emphasis on decision diagrams, formal verification, and algorithm design. Miner holds a Ph.D. in Computer Science from the College of William and Mary (2000), along with an M.S. (1995) and B.S. (1993) in Physics and Computer Science from Randolph-Macon College.
His work bridges theoretical computing and practical applications, including advancements in symbolic computation, Petri net analysis, and stochastic modeling. Key contributions include innovations in Binary Decision Diagrams (BDDs), such as RexBDDs and CESRBDDs, which optimize efficiency and applicability in formal verification. Miner collaborates extensively on tools like the Meddly library and contributes to projects funded by NSF grants like SHF: Medium.
- Education:
- Ph.D., Computer Science, College of William and Mary (2000)
- M.S., Computer Science, College of William and Mary (1995)
- B.S., Physics and Computer Science, Randolph-Macon College (1993)
Research highlights include:
- Development of decision diagram libraries (e.g., Meddly) for efficient state space analysis
- Advancements in Petri net modeling and verification
- Exploration of chemical reaction networks and runtime fault detection
His recent publications (2022–2024) emphasize improving decision diagram efficiency, exploring compression methods for game data, and advancing formal verification techniques. Miner’s work frequently intersects with interdisciplinary domains such as systems biology and hybrid systems.
Advising and grants: While specific advisees are not listed, his NSF-funded projects (e.g., SHF: Medium) suggest involvement in mentoring graduate students. Collaborations include co-authorships with Gianfranco Ciardo and James I. Lathrop.
Labs/Teams: Active contributor to the Meddly decision diagram library and the GreatSPN modeling framework.
