michael_buksas‎ > ‎



505-412-6314 - michael@buksas.net

549 Todd Loop - Los Alamos, New Mexico 87544


I am a highly experienced software engineer with over 15 years of industry experience in the development of computational software in C++. My mathematics background gives me sophisticated tools for the analysis of quantitative problems.

I am seeking opportunities with innovative companies and research groups in the fields of computation, simulation, data analysis, and high performance computing.


Senior Software Engineer, Numerix, LLC

Santa Fe, New Mexico

September, 2011 – August, 2012

I was part of a team developing new features for CrossAsset, Numerix's flagship software product, which provides state-of-the-art pricing for complex financial derivatives. I provided expert C++ development in a sophisticated, multi-tiered application architecture.

Technical Staff, Los Alamos National Laboratory

Los Alamos, New Mexico.

October, 1998 - September, 2011

In my 13 years at Los Alamos I developed software for diverse applications spanning desktop applications to supercomputer simulations. My responsibilities ranged across coding, architecture, testing and quality assurance, coding standards, requirements and specifications, plus managing build systems, configuration and deployment tools. Some specific projects I've been involved in are:

  • Amanzi: ASCEM Multi-process HPC Simulator: Amanzi is the core computational engine of ASCEM, a multi-disciplinary project for the simulation of contaminant flow in groundwater. It is designed to run on DOE supercomputers, coordinate the interaction of multiple physical models, and to leverage existing software libraries.

    I designed the architecture of Amanzi to implement extensible simulations using modular components for physical models, and numerical methods, using a variety of computational frameworks. I also mentored other developers who were learning C++, or expanding their C++ knowledge.

  • McPhD: A Parallel Haskell code for Monte Carlo simulations. This was joint work with Well-Typed and part of the Parallel GHC project, a Microsoft Research funded project to push the adoption of parallel Haskell in real-world applications.

    In this project, I developed abstractions suitable for expressing Monte-Carlo algorithms over a variety of coordinate spaces and physical models, with the goal of developing a domain-specific language for this problem domain.

  • Jayenne: A project developing C++ code for the Monte-Carlo simulation of radiation flow. These codes executed on DOE supercomputers. On this team, I developed new capabilities and algorithms, and improved the design of the code to improve performance and increase its modularity and extensibility.

    • Developed new algorithms for random sampling of biased particle locations.

    • Implemented an un-collided flux estimator for nuclear reactor safety studies.

    • Refactored core particle transport algorithm into modular components for extensibility.


North Carolina State University, Ph.D. in Mathematics, 1998

  • 4.0 Grade Point Average

  • Thesis: “Modeling, Analysis and Implementation of Forward and Inverse Problems in One Dimensional Electromagnetic Scattering with Differential and Hysteretic Polarization Models.”

In the Mathematics Department of NCSU, I studied applied mathematics with an emphasis on physical modeling and computation. I did original research into the variational formulation of the equations of electromagnetic interactions and implemented numerical methods for these problems.

To implement the numerical methods, I developed C++ software for the solution of partial differential equations and a framework for the specification and solution of inverse problems.


Harvey Mudd College, B.S. in Mathematics, 1993

  • Applied Mathematics and Operations Research curricula.

  • 3.7 Grade Point Average. Graduated with Honors.

As a student at Harvey Mudd, I completed the curricula for the applied mathematics and operations research programs. Under the guidance of Dr. Art Benjamin, I did original research into using combinatorics to describe juggling patterns.


Broadly stated, my professional interests are the development of higher abstractions for the description and efficient computation of numerically intensive problems. This motivates my study of template and object-oriented programming techniques in C++, and functional programming languages such as Haskell.