jetafese / btor2mlir Goto Github PK

🌱 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 à: [email protected]