Skip to content
View jetafese's full-sized avatar
18 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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++ 20 4

  2. Qwe1rty/LooDB Qwe1rty/LooDB Public

    For posterity - an embedded SQL database

    C++ 6 2

  3. winch winch Public

    A fork of wasmtime winch

    LLVM 1

  4. exp-dataset exp-dataset Public

    Playground for verifying general types of fees

    SMT 2