Koushik Sen is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interest lies in Software Engineering, Programming Languages, and Formal methods. He is interested in developing software tools and methodologies that improve programmer productivity and software quality.

Role: Instructor
Location: 735 Soda Hall
Office Hours:  Fri  1-2  pm  @ SODA 735
ksen@cs.berkeley.edu

Hey, I’m Manish and I’m thrilled to work with you this semester as your Head GSI! I'm a CS PhD student in the Programming Systems group and the Sky Lab, researching new techniques, at the intersection of neural and symbolic methods, to represent and understand programs for programming assistants. I also spent 2+ years working as a researcher at Microsoft Research before starting my PhD. Come drop by office hours to chat compilers, graphs, program synthesis, or whatever else is on your mind!

Make private Ed post before emailing.

Discussion: Mon  2-3 pm @ SODA 405 | Wed 2-3 pm @ LATI 105

Office Hours: Fri 9-10 am @ SODA 326

manishs@berkeley.edu

Hi, I am Xiaoxuan. I am a third-year CS PhD student from UC Berkeley. I am affiliated with Sky Lab (formerly known as RISE/AMP Lab). I am fortunately advised by Professor Alvin Cheung. I got my master from CMU, working with amazing Andy and Huanchen. I did my undergraduate in PKU.

Make private Ed post before emailing.

Discussion: Wed 4-5 pm @ MOFF 103 | Wed 6-7 pm @ WHLR 220

Office Hours: Wed 5-6 pm @ Lib-Moffitt-405

xiaoxuan_liu@berkeley.edu