Brandon Sisler (Jan 02 2023 at 20:04): Brandon Sisler (Jan 02 2023 at 20:04):Hey all, hope you all have had a wonderful New Year, and have set some nice goals in retrospect of all the wonderful things you have done this year.
As for my own goals, I would like to start the new year by looking for a PhD program in the area of formal verification or a related area, and I though this was a great forum for discovery. If your insutution is looking for students within the next application cycle (speculation is fine, I know it is so early) or if you attend such a place and are enjoying it, let me know. I would be delighted to have a solid list now, so that I can compare my options and begin my preparation this summer.
Karl Palmskog (Jan 02 2023 at 22:18):based on some of your terminology, I'm guessing you are looking primarily or exclusively for US PhD grad school. In any case, the PhD position game is very different in Europe, e.g., application cycles work differently and formal verification / formal methods has many diverse forms (but the FV/FM label actually works as a guide). My experience from working on both sides of the pond is that US FV research is mostly labeled programming languages research or integrated into some other subarea (distributed systems, software testing, etc.).
Karl Palmskog (Jan 02 2023 at 22:27):for proof assistant based FV in US, the quite-recently-finished DeepSpec project and its publication list might be a rough guide to some relevant institutions and people. (I'd add at least CMU and Cornell to the list.)
Karl Palmskog (Jan 02 2023 at 22:33):I found these slides (in particular p. 20) pretty enlightening about how Europe/US compare w.r.t. FM/FV, even if they are not super new.
Brandon Sisler (Jan 02 2023 at 23:37):@Karl Palmskog
Thanks so much, this is a lot of good stuff, I appreciate such a thoughtful responce! And you got me, I am in Alabama!
Last updated: Oct 13 2024 at 01:02 UTC