Larry EngineerI am a freelance software engineer. Experience: high performance trading system: matching and risk engines; blockchain infrastructure: smart contract VM, oracle, indexer, bridging; scientific computing: QM/MM, de novo protein design. Current interests: formal verification methods; AI in bio and material sciences. |
|