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).
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:
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.