Mehrad

Mehrad

CS PhD @ UWaterloo

Verification vs. Testing: A Surprising Complementarity

less than 1 minute read

Published:

Software Testing & Formal Verification are two things that couldn’t be further apart — one is about proving things can’t go wrong, the other is about finding what does go wrong.

And yet, they complement each other in a surprising way!

Z3 Rust Guide: Filling the Gaps in the API

1 minute read

Published:

Recently I’ve been working on a research project involving a transpiler from Rust to SMT. The project is still in progress, so I won’t share too many details just yet — but along the way, I ran into several missing features and rough edges in the high-level Rust Z3 API (especially when compared to the C API).

Generative AI: A Critical Perspective

less than 1 minute read

Published:

I was recently taking a course on Tilings and Computation at the University of Waterloo. On the course website, I came across a discussion about the use of Generative AI in academia, particularly in the context of graduate students. The professor expressed a critical perspective on the use of such technologies, which I found quite thought-provoking. I am just going to quote the professor’s words directly: