Computer Science Invited Lectures Series

STSM (Sr. Technical Staff Member) and Sr. manager at IBM
Topic: Technical Managment of Large Web Sites
Abstract of the talk

Cyber Evangelist for IBM
Topic: Eclipse and the Open Source initiative
Abstract of the talk

Academic Relations Manager, Microsoft Corporation
Topic: Writing Secure Code

New York University
Compiler Validation with Automated Decision Procedures
Topic: Formal Software Verification
Abstract of the talk

SUNY Stony Brook
Topic: Language Processing
Trainable Approaches to Generation in Dialogue Systems
Abstract of the talk and bio

SUNY Stony Brook
Topic: Data mining and Bioinformatics
Abstract of the talk