Brian W. Bush is a Haskell software engineer at Input Output (IOHK) where he has been deeply involved in developing, testing, and documenting the Marlowe smart-contract domain-specific language (DSL) for financial and transactional contracts. He prepared and tested the Marlowe validator for its external audit and has explored the application of formal methods to languages such as Marlowe. Brian created tutorials, examples, and developer tools to improve the experience of Marlowe’s users.
Previously Dr. Bush was a Principal Scientist in Systems Engineering at the National Renewable Energy Laboratory (NREL). He led and technically contributed to numerous software- and data-intensive modeling, simulation, analysis, visualization, and decision-support projects. Much of that work focused on the biomass-to-bioenergy supply chain, new infrastructure systems for fuel-cell electric vehicles, and the evolution and implications of renewable energy industries. He was a member of NREL’s Science Advisory Committee and he coordinated NREL’s quantum information science and technology (QIST) activities, including its quantum computing work.
Prior to his arrival at NREL, Brian was a technical staff member at Los Alamos National Laboratory (LANL). He developed computer simulations for complex phenomena such as interacting critical infrastructures and supercomputer hardware architectures. He led teams of approximately one dozen people, and held the position of Thrust Area Leader for the U.S. Dept. of Homeland Security’s Critical Infrastructure Protection Portfolio in its Science & Technology Directorate. At LANL he was a member of its Patent Committee and its Institutional Computing Technical Committee. As a visiting scientist at the National Center for Atmospheric Research (NCAR), he initiated efforts to connect simulations of weather and climate to impact models for energy and infrastructure networks.
Brian received a B.S. in physics at the California Institute of Technology in 1985 and a Ph.D. in theoretical physics at Yale University in 1990, where he was a National Science Foundation (NSF) graduate fellow. He extensively performed and published physics research on ultrarelativistic heavy-ion collisions and nuclear shape fluctuations. His research interests include statistical physics, symbolic dynamics, information theory, data mining, approximate reasoning, theory of simulation, and visualization.
Contact
|
|