I guess this is a meta question: do typical US undergraduate university Computer Science curricula not have Formal Methods as a class?
I'm just wondering because of the number of fairly basic questions here. I went to a middling midwestern state school 20ish years ago and that was part of the curriculum. Perhaps we have lots of non-CS-graduates here?
This is not to denigrate the discussion. I'm just surprised that this is news.
I'm just wondering because of the number of fairly basic questions here. I went to a middling midwestern state school 20ish years ago and that was part of the curriculum. Perhaps we have lots of non-CS-graduates here?
This is not to denigrate the discussion. I'm just surprised that this is news.