CS511
CS511: Formal Methods 1
5 public student ratings, updated Oct 2026 · no written reviews yet
Planning Spring 2027? Save classes to your plan.
From 5 public student ratings
Students rate this one poorly. It's demanding, and good grades are within reach.
No written reviews yet. Yours would be the first.
Took CS511? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- Ratings across the web
- 1.6 out of 5 stars1.6from 5 ratings
- Department
- Computer Science
Written reviews
No written reviews of CS511 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.
Professors who have taught CS511
- Assaf Kfoury
Questions students ask
Classes next to CS511
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 1This class
- CS512Formal Methods 21.5 out of 5 stars1.5· difficulty 55/100· 4 ratings
- 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