Stream: Coq users

Topic: Students interviewing about Program Verification IDEs


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Emilio Jesús Gallego Arias (Oct 19 2022 at 15:42):

I'm happy to do this interview by the way

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Emilio Jesús Gallego Arias (Oct 24 2022 at 16:54):

@Jakob Israelsen cool, looking forward to the interview then!


Last updated: Feb 04 2023 at 21:02 UTC