Skip to content
View baoluomeng's full-sized avatar
1 follower · 4 following
  • GE Research
  • Niskayuna, NY

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report baoluomeng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
baoluomeng/README.md

I’m Baoluo (Paul) Meng.

My research interests lie in formal methods, satisfiability modulo theories and their applications in verification of software systems and machine learning systems, assurance case, cyber-security and auto-test generation.

Popular repositories Loading

  1. TSNsched TSNsched Public

    Forked from ACassimiro/TSNsched

    Automated Schedule Generation for TSN networks

    Java

  2. NeuralVerification.jl NeuralVerification.jl Public

    Forked from sisl/NeuralVerification.jl

    Methods to soundly verify deep neural networks

    Julia

  3. LogicNG LogicNG Public

    Forked from logic-ng/LogicNG

    The Next Generation Logic Library

    Java

  4. VERDICT-1 VERDICT-1 Public

    Forked from ge-high-assurance/VERDICT

    DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

    Java

  5. MCTS MCTS Public

    Forked from theKGS/MCTS

    Java implementation of UCT based MCTS and Flat MCTS

    Java

  6. POMDPStressTesting.jl POMDPStressTesting.jl Public

    Forked from sisl/POMDPStressTesting.jl

    Adaptive stress testing of black-box systems within POMDPs.jl

    Julia