CSE 331: Software Design & Implementation
Course Overview
The aim of this course is to teach students principled approaches to designing & implementing software so that it will be almost certainly correct, as well as easy to test, understand, and change.
See the syllabus page for full details on the course structure and policies.
Communication
In addition to in-person discussion, students and staff will communicate through the following means:
- Course Mailing List: Used by the instructors to email the class
with important announcements. (All students are auto-subscribed, but
be sure to check your
@uwemail for these messages.) - Message Board: The preferred way to ask questions about course content and homework assignments. We will aim to respond promptly to all questions during normal, working hours.
- Email: To discuss a personal matter related to the course, email
James directly at
(
jrw12@cs.washington.edu). - Staff Mailing List
(
cse331-staff@cs.washington.edu): Used for private matters not suitable for the message board. All questions about course content should be asked on the message board instead.
Weekly Schedule
We have lectures Monday, Wednesday, and Friday and quiz sections on Thursday.
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
11:30–12:30 OH (Pratika)
CSE 2nd Floor Breakout 13:30–14:30 OH (Faraz)
CSE Breakout Floor 4 14:30–15:20 Lecture
ARC 147 15:30–16:30 OH (Lawrence)
CSE 220 |
10:30–11:30 OH (Kyle)
CSE2 151 11:30–12:30 OH (Alice)
CSE Breakout Floor 2 12:30–13:30 OH (James W)
CSE 440 13:30–14:30 OH (Isayiah)
CSE2 150 16:30–17:30 OH (Owen)
CSE2 131 |
11:30–12:30 OH (Benoit)
CSE2 150 13:00–14:00 OH (Raio)
CSE2 131 14:30–15:20 Lecture
ARC 147 15:30–16:30 OH (Daniel)
CSE2 131 17:30–18:30 OH (James M)
CSE2 150 |
10:30–16:20 Quiz Sections
see table below |
14:30–15:20 Lecture
ARC 147 15:30–16:30 OH (Reshabh)
CSE2 121 |
The regular weekly schedule has the following exceptions:
- There are no office hours during the first week or finals week, unless a staff member announces otherwise on the message board.
- There are no activities on holidays listed on the course calendar.
- Occasional office hours may be cancelled for various reasons. When this happens, the staff member holding those hours will announce that on the message board.
See the course calendar for further details of each day's required activities, including the due dates of homework assignments.
Section Meetings
| Section | Time | Building | Room | TAs |
|---|---|---|---|---|
| AC | 10:30 | JHN | 022 | Alice & Omar |
| AD | 11:30 | MGH | 271 | Daniel & Lawrence |
| AE | 12:30 | AND | 201 | Faraz & Pratika |
| AF | 13:30 | JHN | 026 | Benoit & Isayiah |
| AA | 14:30 | JHN | 022 | Kyle & Raio |
| AB | 15:30 | MLR | 316 | James M. & Owen |
Course Staff
Instructor
James Wilcox
he/him
Email: jrw12@cs.washington.edu
About: I am a teaching professor here at UW CSE, where I teach everything from CSE 123 introduction to programming to CSE 505 graduate programming languages. This is my 6th time teaching 331. Looking forward to working with you all this quarter!
Teaching Assistants
Alice Zhu she/her
Email: ali1726@cs.washington.edu
Section: AC at 10:30 in JHN 022
About: Hi! I'm Alice, a third year student. Outside of classes, I like drawing and trying (and giving up on) new hobbies. I'm super excited for the quarter and can't wait to meet everyone!
.jpg)
Benoit Le he/him
Email: ble424@uw.edu
Section: AF at 13:30 in JHN 026
About: Hi everyone! I’m Benoit and I’m a third-year student studying Computer Science here at UW. Outside of school, I enjoy running, love coffee, and love to travel (especially to try all the delicious foods :D ). I can’t wait to meet all of you in lecture and section!
Daniel Zhang he/him
Email: dzhang10@cs.washington.edu
Section: AD at 11:30 in MGH 271
About: Hi guys! My name is Daniel and I study computer science here at UW! In my free time, I enjoy watching football, playing soccer, and binging random tv shows (open to recs!). I am excited to meet you all this quarter!
Faraz Ahmed he/him
Email: faraza2@cs.washington.edu
Section: AE at 12:30 in AND 201
About: Hi! I'm Faraz, and I'm a second-year studying CS. This is my second time TAing, and I'm super excited to meet you all! Talk to me about lifting, chess, music production, fried chicken, or literally anything else!
.jpg)
Isayiah Lim he/him
Email: ilim27@uw.edu
Section: AF at 13:30 in JHN 026
About: Hey y'all! My name's Isayiah, and I'm a Junior studying Computer Science with a Minor in Business. In my free time, I like to hoop, lift, read, and try out new restaurants (I'm a big beli enthusiast). This is my second quarter TA-ing CSE 331, but you may recognize me from one of my five quarters TA-ing for CSE 123. Excited to meet y'all this quarter!
James Martin he/him
Email: jtmar@cs.washington.edu
Section: AB at 15:30 in MLR 316
About: Hi! I’m James, a third-year student studying CS and math. My main interests are programming languages and proof assistants, and I’m currently working with polynomial functors. I’m looking forward to working with you!
Kyle Sherman he/him
Email: shermk3@cs.washington.edu
Section: AA at 14:30 in JHN 022
About: Hey all! I'm a second year CS major and transfer student, and this is my second quarter TAing 331. Outside of school I enjoy listening to music, reading, running, and bouldering. If you have any questions, feel free to swing by my OH. Can't wait to meet you all! :)
Lawrence Wang he/him
Email: lwang42@uw.edu
Section: AD at 11:30 in MGH 271
About: Hi everyone! I'm Lawrence, a 3rd year Computer Science major. Outside of classes, I enjoy hitting the gym or cooking. Excited for the quarter!
Omar Abdel Aziz he/him
Email: oaziz05@uw.edu
Section: AC at 10:30 in JHN 022
About: Hi! I'm Omar, a junior in the Allen School. Super excited to be TAing 331! I love playing soccer and hiking — feel free to reach out if you have any questions.
Owen Fei he/him
Email: owenfei@uw.edu
Section: AB at 15:30 in MLR 316
About: Hi! I'm Owen, a second year. When I'm not grading proofs, I like skiing, playing games (currently Polytopia), cooking, and eating (especially my beloved egg sandwiches :D). It's my second quarter of TAing 331, and I can't wait to meet you all!
Pratika Eswaran she/her
Email: pve2@cs.washington.edu
Section: AE at 12:30 in AND 201
About: Hey! I'm Pratika, a second year CS student. Outside of school, I deeply enjoy eggs, watching sports, attempting to play the guitar, and the great state of Texas. I'm super excited to meet everyone this quarter!
Raio Chea he/him
Email: raioc@cs.washington.edu
Section: AA at 14:30 in JHN 022
About: Hello there! I'm Raio, a 3rd-year, and this'll be my 4th time TAing! Outside of school, I spend a concerning amount of hours playing video games, watching a ton of anime, skiing, listening to music, studying japanese, and hitting the weights at the IMA! I look forward to getting to know all of you this quarter!
Reshabh K Sharma he/him
Email: reshabh@cs.washington.edu
Section:
About: Hi! I'm a 5th year PhD student in the Allen School, I work at the intersection of PL and LLMs, very excited to be here!
James Wilcox he/him
Email: jrw12@cs.washington.edu
About: I am a teaching professor here at UW CSE, where I teach everything from CSE 123 introduction to programming to CSE 505 graduate programming languages. This is my 6th time teaching 331. Looking forward to working with you all this quarter!
Alice Zhu she/her
Email: ali1726@cs.washington.edu
Section: AC at 10:30 in JHN 022
About: Hi! I'm Alice, a third year student. Outside of classes, I like drawing and trying (and giving up on) new hobbies. I'm super excited for the quarter and can't wait to meet everyone!
Benoit Le he/him
Email: ble424@uw.edu
Section: AF at 13:30 in JHN 026
About: Hi everyone! I’m Benoit and I’m a third-year student studying Computer Science here at UW. Outside of school, I enjoy running, love coffee, and love to travel (especially to try all the delicious foods :D ). I can’t wait to meet all of you in lecture and section!
Daniel Zhang he/him
Email: dzhang10@cs.washington.edu
Section: AD at 11:30 in MGH 271
About: Hi guys! My name is Daniel and I study computer science here at UW! In my free time, I enjoy watching football, playing soccer, and binging random tv shows (open to recs!). I am excited to meet you all this quarter!
Faraz Ahmed he/him
Email: faraza2@cs.washington.edu
Section: AE at 12:30 in AND 201
About: Hi! I'm Faraz, and I'm a second-year studying CS. This is my second time TAing, and I'm super excited to meet you all! Talk to me about lifting, chess, music production, fried chicken, or literally anything else!
Isayiah Lim he/him
Email: ilim27@uw.edu
Section: AF at 13:30 in JHN 026
About: Hey y'all! My name's Isayiah, and I'm a Junior studying Computer Science with a Minor in Business. In my free time, I like to hoop, lift, read, and try out new restaurants (I'm a big beli enthusiast). This is my second quarter TA-ing CSE 331, but you may recognize me from one of my five quarters TA-ing for CSE 123. Excited to meet y'all this quarter!
James Martin he/him
Email: jtmar@cs.washington.edu
Section: AB at 15:30 in MLR 316
About: Hi! I’m James, a third-year student studying CS and math. My main interests are programming languages and proof assistants, and I’m currently working with polynomial functors. I’m looking forward to working with you!
Kyle Sherman he/him
Email: shermk3@cs.washington.edu
Section: AA at 14:30 in JHN 022
About: Hey all! I'm a second year CS major and transfer student, and this is my second quarter TAing 331. Outside of school I enjoy listening to music, reading, running, and bouldering. If you have any questions, feel free to swing by my OH. Can't wait to meet you all! :)
Lawrence Wang he/him
Email: lwang42@uw.edu
Section: AD at 11:30 in MGH 271
About: Hi everyone! I'm Lawrence, a 3rd year Computer Science major. Outside of classes, I enjoy hitting the gym or cooking. Excited for the quarter!
Omar Abdel Aziz he/him
Email: oaziz05@uw.edu
Section: AC at 10:30 in JHN 022
About: Hi! I'm Omar, a junior in the Allen School. Super excited to be TAing 331! I love playing soccer and hiking — feel free to reach out if you have any questions.
Owen Fei he/him
Email: owenfei@uw.edu
Section: AB at 15:30 in MLR 316
About: Hi! I'm Owen, a second year. When I'm not grading proofs, I like skiing, playing games (currently Polytopia), cooking, and eating (especially my beloved egg sandwiches :D). It's my second quarter of TAing 331, and I can't wait to meet you all!
Pratika Eswaran she/her
Email: pve2@cs.washington.edu
Section: AE at 12:30 in AND 201
About: Hey! I'm Pratika, a second year CS student. Outside of school, I deeply enjoy eggs, watching sports, attempting to play the guitar, and the great state of Texas. I'm super excited to meet everyone this quarter!
Raio Chea he/him
Email: raioc@cs.washington.edu
Section: AA at 14:30 in JHN 022
About: Hello there! I'm Raio, a 3rd-year, and this'll be my 4th time TAing! Outside of school, I spend a concerning amount of hours playing video games, watching a ton of anime, skiing, listening to music, studying japanese, and hitting the weights at the IMA! I look forward to getting to know all of you this quarter!
Reshabh K Sharma he/him
Email: reshabh@cs.washington.edu
Section:
About: Hi! I'm a 5th year PhD student in the Allen School, I work at the intersection of PL and LLMs, very excited to be here!