Computer Science Department of State University of New York at Stony Brook - PowerPoint PPT Presentation


PPT – Computer Science Department of State University of New York at Stony Brook PowerPoint presentation | free to view - id: 2854-YTA4M


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation

Computer Science Department of State University of New York at Stony Brook


Computer Science Department of. State University of New York at Stony Brook. Presented by Bin He ... currently Leading Professor of Computer Science. ACM Fellow ... – PowerPoint PPT presentation

Number of Views:127
Avg rating:3.0/5.0
Slides: 16
Provided by: Bin107


Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: Computer Science Department of State University of New York at Stony Brook

Computer Science Department of State University
of New York at Stony Brook
  • Presented by Bin He

History and status
  • Established in 1969
  • Research ranked 33rd in US
  • 41 faculty members
  • expected to recruit additional members in the
    next few years, including databases!!!
  • in a stage of significant expansion, including a
    new Computer Science building, along with a new
    New York State Center of Excellence in Wireless
    and Information Technology (CEWIT)

State University of New York
  • SUNY Universities with CS dept.
  • Albany
  • Binghamton
  • Buffalo, University at
  • Stony Brook

  • 6 related to databases and data mining
  • David S. Warren
  • Michael Kifer
  • Himanshu Gupta
  • Radu Sion (interviewed in UIUC)
  • Anita Wasilewska
  • Philip M. Lewis

Faculty (cont.)
  • Distinguished Professor and Chairman
  • Arie E. Kaufman
  • (Computer Graphics, Visualization)
  • 2 from UIUC
  • Steven Skiena (Ph.D. 1988)
  • algorithms, computational biology, computational
  • Advisor Herbert Edelsbrunner, in Duke Univ. now
  • Leo Bachmair (Ph.D. 1987)
  • automated deduction, computational logic
  • Advisor David A. Plaisted, in University of
    North Carolina at Chapel Hill now

DB Faculty was in SUNYSB
  • David Maier
  • Now in OGI
  • 1978 - 1982
  • 1997 SIGMOD Innovations Award

David S. Warren
  • 1979 PhD, University of Michigan
  • currently Leading Professor of Computer Science
  • ACM Fellow
  • chairman of the Stony Brook CS Department from
  • Main research focus Logic programming
  • Students Juliana Freire, Utah

Main project XSB-- a logic programming and
deductive database system
  • An open source logic programming system, extends
    Prolog with new semantic and operational features
  • Based on the use of Tabled Logic Programming or
  • Useful for parsing, program analysis,
    model-checking, data mining and Diagnosis

Intuition of tabling
  • Cache of logic computation
  • Cache the subgoal of a computation
  • During computation of a goal to a logic program,
    each subgoal S is registered in a table the first
    time it is called, and unique answers to S are
    added to the table as they are derived.
  • When subsequent calls are made to S, the
    evaluation ensures that answers to S are read
    from the table rather than being re-derived using
    program clauses.
  • Further, cache other global elements of a
    computation in the table, e.g., information about
    whether one subgoal depends on another, and
    whether the dependency is through negation

Michael Kifer
  • 1985 PhD, Hebrew University of Jerusalem, Israel

  • Main research focus declarative languages for
    data, object-oriented databases, query
    optimization, logic programming
  • Test of Time Award from ACM SIGMOD
  • 1999 F-Logic A Higher Order Language for
    Reasoning About Objects, Inheritance, and Scheme.
    Michael Kifer and Georg Lausen
  • 2002 Querying Object-Oriented Databases. M.
    Kifer, W. Kim, and Y. Sagiv
  • Students Hasan Davulcu, ASU
  • Son Dan Kifer, Cornell Database Group,
  • Advisor Johannes Gehrke

  • Database Systems An Application Oriented
  • Databases and Transaction Processing
  • Michael Kifer, Arthur Bernstein,
    Philip M. Lewis
  • Arthur Bernstein
  • Emeritus Professor,
  • Transaction Processing

Main project Flora-- An object-oriented
knowledge base language and application
development environment
  • http//
  • Flora-2 a dialect of F-logic with numerous
    extensions, e.g., meta-programming in the style
    of HiLog and logical updates in the style of
    Transaction Logic
  • Applications of Flora-2 include intelligent
    agents, Semantic Web, ontology management,
    integration of information, and others
  • Relies on the XSB inference engine

Himanshu Gupta
  • Assistant Professor, 1999 PhD, Stanford
    University, advisor Jeff Ullman
  • PhD thesis Selection and Maintenance of Views in
    a Data Warehouse
  • Seems shifting from DB to wireless networking, in
    Wireless Networking and Simulation Lab

Radu Sion
  • Assistant Professor, 2004 PhD, Purdue University,
    advisor Mike Atallah and Sunil Prabhakar
  • PhD work Privacy and Rights Protection on
    Relational Databases
  • More on the security side. In Secure Systems Lab

  • Anita Wasilewska (Associate professor)
  • 1974 PhD Warsaw University, Poland
  • Research areas data mining and artificial
  • Philip M. Lewis (professor)
  • 1956 PhD MIT
  • Research areas databases, concurrency,
    distributed systems
  • ACM Fellow and IEEE Fellow