CS512
CS512: Formal Methods 2
4 public student ratings, updated Oct 2026 · no written reviews yet
Planning Spring 2027? Save classes to your plan.
From 4 public student ratings
Students rate this one poorly. It's about average.
No written reviews yet. Yours would be the first.
Took CS512? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- Ratings across the web
- 1.5 out of 5 stars1.5from 4 ratings
- Department
- Computer Science
Written reviews
No written reviews of CS512 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.
Professors who have taught CS512
- Assaf Kfoury
- Eugene Pinsky
Questions students ask
Classes next to CS512
CS courses at BU with the closest numbers
- CS501Computer Science Practicum2.8 out of 5 stars2.8· difficulty 75/100· 4 ratings
- CS505Introduction to Natural Language Processing4.8 out of 5 stars4.8· difficulty 69/100· 11 ratings
- CS5062.9 out of 5 stars2.9· difficulty 63/100· 44 ratings
- CS511Formal Methods 11.6 out of 5 stars1.6· difficulty 80/100· 5 ratings
- CS512Formal Methods 2This class
- CS520Information Structures with Java1.9 out of 5 stars1.9· difficulty 90/100· 14 ratings
- CS5212.8 out of 5 stars2.8· difficulty 61/100· 28 ratings