Adam Layne, Ph.D.
high-assurance software researcher
adam at fnbu dot pw | pgp keys | linkedin | github
about
I am a researcher and software engineer with experience in high-assurance software and formal methods. I care about making systems safer by making it clearer to systems designers, engineers, and users what their systems do and don't do.
I am passionate about free and open source software, functional programming languages (especially dependently typed ones), and the semantics of the languages we use to describe systems.
I was a postdoc in the Math Departments at KTH and Uppsala University working in mathematical modeling of partial differential equations, and using the results of the models to form ansätze and prove theorems. My academic interests are in geometric analysis, numerical analysis, and mathematical relativity. Here is my arXiv author identifier.
Before that, I was a PhD student and Graduate Employee in the Department of Mathematics at The University of Oregon in Eugene, OR. My advisor was Jim Isenberg.
other interests
I am active in reducing the barriers faced by groups that are underrepresented in mathematics and physics. As a graduate student, I was involved with the Association for Women in Mathematics at the University of Oregon, in particular with the associated speaker series.
Outside of work and research, I enjoy hiking, rock climbing, and contemporary sculpture. I enjoy works of Herman Melville, Judith Butler, Michael Heizer, and Kelly Reichardt.
CSS by Skeleton