Jakob Israelsen (Oct 19 2022 at 11:00): Jakob Israelsen (Oct 19 2022 at 11:00):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 jais@itu.dk or write me a private message and we will figure out a time and day.
Emilio Jesús Gallego Arias (Oct 19 2022 at 15:42):Hi @Jakob Israelsen , that's neat; cc @CoqLang on twitter if you would like a retweet
Emilio Jesús Gallego Arias (Oct 19 2022 at 15:42):I'm happy to do this interview by the way
Emilio Jesús Gallego Arias (Oct 19 2022 at 15:43):You can also find https://coq.discourse.group/ a good place to advertise your interview project.
Jakob Israelsen (Oct 22 2022 at 07:50):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
Emilio Jesús Gallego Arias (Oct 24 2022 at 16:54):@Jakob Israelsen cool, looking forward to the interview then!
Last updated: Sep 23 2023 at 07:01 UTC