Hello! I'm Ismail Patel, a passionate and driven Software Engineer currently completing my Bachelor's in Computer Science at DePaul University (expected graduation: June 2025). My academic journey and professional experiences have cultivated my expertise in software development, machine learning, cybersecurity, and formal verification. I'm committed to building innovative software solutions that are secure, scalable, and impactful.

• Software Engineering Research Assistant, DePaul University
  Focused on formal verification and hybrid systems verification, integrating the Z3 SMT solver into the KeYmaera X theorem prover. Developed Scala-based translation and replay mechanisms for proofs, enhancing verification performance and reliability.

• Teaching Assistant & Grader, DePaul University
  Built automation scripts in Python for grading and assessment in introductory computer science courses, refining my skills in scripting, automation, and providing clear, actionable feedback.

• Secretary, DePaul RoboTech Club
  Coordinated club activities, workshops on AI, robotics, Raspberry Pi, and collaborated with faculty members on initiating a humanoid robotics project. Enhanced organizational, leadership, and interpersonal skills through active engagement and event planning.