Markus Schordan

Login: mschordan

Company: Lawrence Livermore National Laboratory, @LLNL

Location: Livermore, CA, USA

Bio: I am a senior computer scientist @LLNL. My research interests include formal software verification, compiler construction, and reversible computation.

Blog: http://people.llnl.gov/schordan1

Blog: http://people.llnl.gov/schordan1

Member of

  1. Lawrence Livermore National Laboratory

Repositories

Commits To

RepositoryMost Recent Commit# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.