Talks by Fangzhen Lin from Hong Kong U of Science and Technology


Fangzhen Lin from Hong Kong U of Science and Technology will be visiting next Tue, July 18, and give two talks on two extremely interesting and important works:

 1:30 PM: Verification---of our everyday programs using our everyday logic (making it even simple and fun to think about them)

 3:00 PM: Loop formulas---on building solvers for answer set programming problems (a fundamental result connecting two research areas).

Please see abstracts and a short bio below.

Program Verification in First-Order Logic

Computer programs are among the most complex man-made systems.

CEWIT Call for Papers Deadline Extended to Aug 15


Call for Papers: The 13th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT2017)

November 7 & 8, 2017

The Center of Excellence in Wireless and Information Technology (CEWIT) at Stony Brook University

Stony Brook, NY, USA

September 15 - CS Job & Internship Fair is Set!


The IT/Computer Science Job and Internship Fair is set for Friday, September 15 from 12n-4p.

Last year over 80 employers from around the country participated and this year we expect even more interest in recruiting CS students. To meet the demand, the event is held in both the Student Activities Center and the New Computer Science building. 

Congrats, CS Grads!

The Department of Computer Science welcomes 213 new alumni from the Class of 2017!

Congratulations, CS Grads!


This year we are happy to welcome 213 new alumni to the Department of Computer Science!

Undergraduate students in computer science and information systems make up the bulk of our new alumni with a total of 156 undergraduate students in the Class of 2017. A total of 45 students earned their M.S. in computer science and 11 students successful defended their doctoral dissertations, earning a PhD in computer science from Stony Brook University. 

Community Calls, and CS Answers


When the community called, the Department of Computer Science (CS) answered!

Teen librarian Christina Heaney from Comsewogue Public Library initially contacted Stony Brook's Department of Computer Science a year ago in the hope of gaining some mentors in her quest to establish a chapter of Girls Who Code.

Capti Voice Awarded EdTech Digest’s 2017 Award for Best Special Needs Solution


Capti Voice, a universally accessible literacy platform, wins EdTech Digest’s Award for Best Special Needs Solution of 2017, beating out several Edtech competitors, including Kurzweil. By providing innovative supports for students with a variety of needs and abilities, Capti captured the hearts of the judges.

May 12 - You're Invited: Game Programming Competition is Set!


The 14th Annual Game Programming Competition is set for Friday, May 12th at 6p. The event, which takes place this year in the Student Activities Center Auditorium, gives all Stony Brook University students an opportunity to present their original video game designs. All students, faculty, family, and friends are welcome to join us as we preview the hottest gaming ideas on campus.  

With game names such as "Misuse of Magic" and "Aqua Cycle", this semester 36 teams in total entered the competition. Final competitors, which will be selected on Wednesday, May 10, will go head-to-head at the May 12 event. 


Subscribe to SBU - Computer Science Department RSS