✳flâneur — a map of the web's best reading

What are good graduate schools to do research in formal systems verification? : r/haskell

reddit.com · 6 words · saved by 1 readers

The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... I will preface this by saying I'm not sure this is the right forum to post such a question on. If anyone knows any better forums to find the answer please let me know. I am an undergraduate 3rd year right now, and I was thinking about going to grad school to do research in formal systems verification. I'm very interested in stuff like functional programming, automatic theorem proving, program verification etc and am taking classes in it next semester. I was wondering what are some good schools to do this type of research (goodness as in cutting-edge research, good mentors for this kind of work, etc.)? Doesn't have to be a super well thought out answer, just wanted to get some ideas so I could look into it more, since the time to apply to grad school is coming up soon. Thanks in advance. I

Reddit - Please wait for verification

Explore this link on the map →

related reading