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.
In addition to in-person discussion, students and staff will communicate through the following means:
@uw email for these messages.)jrw12@cs.washington.edu).We have lectures Monday, Wednesday, and Friday and quiz sections on Thursday.
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
12:30–13:20 OH (Lawrence)
CSE2 152 13:30–14:20 OH (Faraz)
CSE2 151 14:30–15:20 Lecture B
CSE2 G01 15:30–16:20 Lecture A
CSE2 G01 |
09:30–10:20 OH (Kyle)
CSE2 121 10:30–11:20 OH (Raio)
CSE2 121 11:30–12:20 OH (James)
CSE 440 12:30–13:20 OH (Isayiah)
CSE 2nd floor breakout 13:30–14:20 OH (Mayee)
CSE2 150 17:30–18:20 OH (Audrey)
CSE 4th floor breakout |
11:30–12:20 OH (Lauren)
CSE2 131 13:00–13:50 OH (Saan)
CSE2 150 14:30–15:20 Lecture B
CSE2 G01 15:30–16:20 Lecture A
CSE2 G01 16:30–17:20 OH (Daniel)
CSE 220 23:59 Typical HW Deadline
|
09:30–16:20 Quiz Sections
see table below 11:30–12:20 OH (Omar)
CSE2 150 12:30–13:20 OH (Benoit)
CSE 5th floor breakout 13:30–14:20 OH (Isayiah)
CSE 5th floor breakout 18:00 Typical HW Release
|
12:30–13:20 OH (Owen)
CSE2 131 14:30–15:20 Lecture B
CSE2 G01 15:30–16:20 Lecture A
CSE2 G01 |
The regular weekly schedule has the following exceptions:
See the course calendar for further details of each day's required activities, including the due dates of homework assignments.
| Section | Time | Building | Room | TAs |
|---|---|---|---|---|
| AD | 09:30 | MGH | 234 | Benoit & Isayiah |
| AA | 10:30 | THO | 235 | Lawrence & Mayee |
| AB | 11:30 | MGH | 241 | Kyle & Owen |
| AC | 12:30 | MGH | 287 | Daniel & Omar |
| BA | 12:30 | SAV | 168 | Lauren & Saan |
| BB | 13:30 | SAV | 168 | Lauren & Saan |
| BC | 14:30 | SAV | 136 | Audrey & Faraz |
| BD | 15:30 | ECE | 031 | Audrey & Raio |
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 5th time teaching 331. Looking forward to working with you all this quarter!
Audrey they/them
Email: alseo@cs.washington.edu
Section: BC at 14:30 in SAV 136 and BD at 15:30 in ECE 031
About: Hi everyone! I’m a 6th year PhD student researching compilers and verification, though in my free time I do a lot of knitting, crochet, and other crafts. This is my second time TA-ing 331, and I’m super excited to meet everyone and help you learn the material, which is actually pretty related to my research. If you ever have any questions, be it about this course or grad school or anything else, feel free to reach out! :)
Benoit Le he/him
Email: ble424@uw.edu
Section: AD at 09:30 in MGH 234
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: AC at 12:30 in MGH 287
About: Hi guys! My name is Daniel and I am a second year studying computer science! In my free time, I enjoy watching football and playing soccer. I am excited to meet you all this quarter!
Faraz Ahmed he/him
Email: faraza2@cs.washington.edu
Section: BC at 14:30 in SAV 136
About: Hi! I'm Faraz, and I'm a second-year studying CS. This is my first 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: AD at 09:30 in MGH 234
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 first quarter TA-ing CSE 331, but you may recognize me from one of my five quarters TA-ing for CSE 123. I'm stoked to teach a new class (especially one as cool as 331 ;)), and I'm excited to start this journey with y'all!
Kyle Sherman he/him
Email: shermk3@cs.washington.edu
Section: AB at 11:30 in MGH 241
About: Hey all! I'm a second year CS major and transfer student, and this is my first 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! :)
Lauren Kim she/her
Email: lkim6@cs.washington.edu
Section: BA at 12:30 in SAV 168 and BB at 13:30 in SAV 168
About: Hi, everyone! I'm Lauren, a third year in CS and Linguistics. This is my third quarter TAing 331, and I'm super excited to get to know all of you. :) In my free time, I like to complete puzzles, take random walks, and watch movies. Visit me during section or my OH, I'd love to yap!
Lawrence Wang he/him
Email: lwang42@uw.edu
Section: AA at 10:30 in THO 235
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!
Mayee Sun she/her
Email: mayeesun@cs.washington.edu
Section: AA at 10:30 in THO 235
About: Hi everyone! I'm Mayee, currently a third year CS + Math double major. I'm super excited to TA 331 this quarter! In my free time, I like to play tennis, volleyball, watch TV shows, and play puzzle games. I am also currently doing research on using AI for Quantum Error Correction. Feel free to drop by my OH anytime, I look forward to meeting you all!
Omar Abdel Aziz he/him
Email: oaziz05@uw.edu
Section: AC at 12:30 in MGH 287
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 11:30 in MGH 241
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!
Raio Chea he/him
Email: raioc@cs.washington.edu
Section: BD at 15:30 in ECE 031
About: Hello there! I'm Raio, a 3rd-year, and this'll be my 3rd 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!
Saan Lily Popović she/her
Email: saanp@cs.washington.edu
Section: BA at 12:30 in SAV 168 and BB at 13:30 in SAV 168
About: Hi, I’m Saan Lily. I’m a fourth year here at UW, and this is my fourth time TAing 331. In my free time, I enjoy baking, traveling, skiing, and reading in my book club. Feel free to come chat with me anytime, I look forward to meeting you all! :)