Hi, I and some of my fellow students from the IT-university of Copenhagen are doing a research project, where we are looking into IDE features of program verification. As part of this project, we would like to interview some developers that have experience with Coq and/or other systems for program verification (such Isabelle, Lean, Dafny, etc.). The interview should be less than half an hour. If you are interested, please send an email to firstname.lastname@example.org or write me a private message and we will figure out a time and day.
Hi @Jakob Israelsen , that's neat; cc @CoqLang on twitter if you would like a retweet
I'm happy to do this interview by the way
You can also find https://coq.discourse.group/ a good place to advertise your interview project.
Thanks @Emilio Jesús Gallego Arias for the offer, we might consider doing that. We'd love to interview you though, I'll pm you about details
@Jakob Israelsen cool, looking forward to the interview then!
Last updated: Sep 23 2023 at 07:01 UTC