3 ms·

CMU is nice. I'd look into good programs that offer some verification / formal methods. CMU is obviously great in all regards. There are some pretty nice ones

by nextos 5y ago

CMU is nice. I'd look into good programs that offer some verification / formal methods. CMU is obviously great in all regards. There are some pretty nice ones in EU as well, with low fees / no fees depending on your passport.