Skip to content
View jetafese's full-sized avatar
17 followers · 1 following

Block or report jetafese

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
jetafese/README.md

Hello πŸ‘‹

  • 🌱 Ninajifunza kuhusu formal methods using Seahorn

    • Using Automated Reasoning techniques to verify hardware circuits represented in btor2
    • Writing verification conditions in an intermediate representation using MLIR

  • πŸ”­ Jag tar examen med en Bachelor of Software Engineering @ uWaterloo

    • Added on a minor in Cognitive Sciences
    • An Option in Artificail Intelligence

  • πŸ‘― የαŠ₯αŠ” α‰‘α‹΅αŠ• at uConverse is connecting students worldwide

    • If you're a student looking for a university, hop on and chat with us
    • If you are a university student, sign up to talk to prospective students about uni life
    • If you're a university administrator, dm me, and we can set your school up with our services

  • πŸ’¬ Gaafi qaabda? Let's expand on:

    • The Engineering Mindset
    • simul justus et peccator
    • The journey of maturing as a Software Engineer

  • πŸ“« Me joindre Γ : jetafese@uwaterloo.ca

Pinned Loading

  1. btor2mlir btor2mlir Public

    Forked from agurfinkel/btor2mlir

    Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification

    C++ 10 4

  2. Qwe1rty/LooDB Qwe1rty/LooDB Public

    For posterity - an embedded SQL database

    C++ 5 2

  3. btor2practise btor2practise Public

    A place to explore the world of bounded model checking as applied to Hardware Model Checking in btor2 format

    Python 1

  4. chc-tools chc-tools Public

    Forked from chc-comp/chc-tools

    Tools for manipulating CHC and related files

    Python

  5. team35 team35 Public

    JavaScript 1

  6. verify-c-common verify-c-common Public

    Forked from seahorn/verify-c-common

    C