ScottWe
PhD Student working on quantum computing, computational algebra, and formal methods.
Nova Scotia, Canada
Pinned Repositories
exceptional_verification_tests
A collection of verification tests which result in (have resulted in) exception results.
gitignore
A collection of useful .gitignore templates
karplus
Lofi meets high tech.
llvm-seahorn
LLVM components that are modified for SeaHorn
pecac
Parameterized Equivalence Checker for Ansatz Circuits
quantum-gap
QAP utilities for quantum information and quantum computation.
quoptimize
Tools and utilities for mathematical optimization on a universal quantum computer.
seahorn
SeaHorn Verification Framework
smartace-examples
solidity-to-cmodel
SmartACE prototype (deprecated): moved to the contract-ace github organization.
ScottWe's Repositories
ScottWe/solidity-to-cmodel
SmartACE prototype (deprecated): moved to the contract-ace github organization.
ScottWe/smartace-examples
ScottWe/exceptional_verification_tests
A collection of verification tests which result in (have resulted in) exception results.
ScottWe/gitignore
A collection of useful .gitignore templates
ScottWe/karplus
Lofi meets high tech.
ScottWe/llvm-seahorn
LLVM components that are modified for SeaHorn
ScottWe/pecac
Parameterized Equivalence Checker for Ansatz Circuits
ScottWe/quantum-gap
QAP utilities for quantum information and quantum computation.
ScottWe/quoptimize
Tools and utilities for mathematical optimization on a universal quantum computer.
ScottWe/seahorn
SeaHorn Verification Framework
ScottWe/seahorn.github.io
github-pages repository
ScottWe/self-referential-node-git
Test of using NodeGit to modify the repository it is run from
ScottWe/solintent
Inferring necessary preconditions from Solidity smart contracts.
ScottWe/symbaudio
A set of audio analysis and compression tools, built with signal theory and symbolic computation in mind.
ScottWe/verx-benchmarks