Generate a tailored SOP for Dr. Aina Niemetz. Improve your application with a focused, well-structured draft.
Aina Niemetz is a Senior Research Scientist in the Department of Computer Science at Stanford University, where she is part of Clark Barrett's group affiliated with the Stanford Center for Automated Reasoning. She received her PhD in Engineering Sciences from Johannes Kepler University Linz, Austria, in 2017, under the supervision of Armin Biere. Her research focuses on Satisfiability Modulo Theories, particularly on procedures involving bit-vectors, arrays, and uninterpreted functions. Her areas of interest include Boolean satisfiability, automated testing, and debugging techniques, especially in the context of solver engineering. Niemetz has been a key developer and senior technical lead on several SMT solvers, including Bitwuzla, Boolector, and CVC5, and she joined the development team for the CVC4 SMT solver in June 2017. Additionally, she has served as a member and chair for various program committees and academic services within the SMT community, reinforcing her influence in the field.
Stanford University • Stanford, CA
Senior Research Scientist in the Department of Computer Science, involved in research pertaining to automated reasoning and satisfiability modulo theories.
The Computer Science department emphasizes research potential. GRE General is currently optional but recommended for some tracks.