Has anyone taught a formal methods & verification class targeting software engineers? It would be really interesting and I suspect the gaps in research would become plainly apparent, too.
22
11
97
Conversation
Like a super applied class about how to use these tools to write more reliable code. (It is my third time trying to post this comment, speaking of reliable code!)
3
16
I suspect a big part of the answer is that there are really genuinely not a ton of people who are in the intersection of (a) profs at schools that will let profs offer grad elective courses and (b) people who have FM experience in industry enough to be able to design a course.
1
I am considering trying to offer a reverse engineering + formal methods course next semester, but I think I am still not quite experienced enough to really teach it.
2
I think I might try something like this at some point. I know enough about being a software engineer in industry that I feel like I could do it well.
1
1
The original thing I mentioned, that is
1
Sure, another problem is enrollment... getting more than three students to enroll in grad courses can be hard 😂
1
1
I think what I've seen online about this suggests there is a lot more interest than one might imagine. But I would have to brand it well.
1
2
Gah, sometimes I wish I could enroll in grad courses like this, but I never made it though the first year of my CS degree 😔
1
Was really thankful when hosted some Isabelle/HOL workshops a few years ago that was open to folks outside the uni. Was super cool to be able to get a chance to do this stuff even if I'd flunked out of the university/research track!