Graduate Studies. Computer Science

Transcription

1 Graduate Studies Computer Science

2 Chair s and Directors Message Arie E. Kaufman, Department Chair; Michael Kifer and I.V. Ramakrishnan, Graduate Program Directors; Samir R. Das, Graduate Academic Director With recent rapid advances in hardware, software, and Internet technologies, Computer Science has become one of the most exciting and dynamic research areas, one that seems ready to affect the lives of everyone. The Department of Computer Science at Stony Brook University is one of the forces helping to advance the future of these technologies. Our graduate program is consistently ranked in the top quarter of research departments in the United States. The program has a faculty of more than 40 and has grown significantly in the past few years. Our annual research expenditure is several million dollars annually and increasing rapidly. The department graduates several hundred students per year, including more than 80 graduate students. Our graduates hold prominent professorships in such institutions as Cornell University, Georgia Tech, Harvard University, Stanford University, University of Illinois at Urbana-Champaign, and Yale University. Many graduates continue into industry, and hold prominent positions with the research laboratories of Alcatel-Lucent, AT&T, Google, HP, IBM, JPL-Cal Tech, MERL, Microsoft, Motorola, NEC, Siemens, and Sony. Some have become leaders of professional societies, presidents of universities, department heads, and CEOs of successful companies. The department s approach is to build a critical mass in many important research areas, thereby ensuring the positive effects of research results obtained through collaboration with colleagues. The most significant of these areas include Algorithms and Complexity, Applied Logic and Information Systems, Concurrency and Verification, Computer Systems and FACULTY PROFILES, PAGE 9 Professor I.V. Ramakrishnan confers with graduate students in the Applied Logic Lab.

3 Networks, Security, and Visual Computing. The faculty in each of these areas has been recognized internationally for their contributions to their respective fields. Naturally, there is much overlap between areas, and these research groups are largely informal. The collegial atmosphere and the culture of the department have always encouraged interaction and an opendoor policy. In particular, faculty and students all gather at the end of every week in an informal social hour in the main hall of the office PROGRAM DESCRIPTION, PAGE 2 area. With plenty of physical space to grow in the Doctoral students test a wireless video network in the Experimental Computer System Lab. new facility of the Center of Excellence in Wireless and Information Technology (CEWIT) and in the planned new Computer Science building, we always welcome new talent to work with us. We also foster collaboration with other departments at the University and with other Long Island research institutions, such as Brookhaven National Laboratory and Cold Spring Harbor Laboratory. We regularly host seminars featuring prominent national researchers through our very popular Distinguished Lecture Series. The graduate program in Computer Science at Stony Brook provides an outstanding environment to pursue graduate studies and research. PROGRAM DESCRIPTION, PAGE 2 RESEARCH FACILITIES, PAGE 4 To learn more about DISTINGUISHED FACULTY, PAGE 8 us, read through this FACULTY PROFILES, PAGE 9 brochure, and then visit SPOTLIGHT ON ALUMNI, PAGE 27 PERSPECTIVES, PAGE 28 RESEARCH FACILITIES, PAGE 4 The planned new Computer Science building will add laboratory and office space for continued growth. LIVING IN STONY BROOK, PAGE 30 APPLICATION & ADMISSION, PAGE 32 HOW TO GET HERE, PAGE 33 1

4 Program Description The program gives The department offers graduate programs leading to the students a rigorous M.S. and Ph.D. degrees in and thorough knowledge of a broad range Computer Science. The M.S. program is designed primarily to train students with professional goals in business, indus- of theoretical and practical research try, or government. The program concentrates primarily on subject areas, and applied computer science, develops their ability emphasizing software development, programming, computer to recognize and systems, and applications. With pursue significant either the thesis or the project option, each student is given research in the opportunity to work on a computer science. large-scale software or system development project involving analysis, design, evaluation, and implementation. While most M.S. students do not receive financial support from the department, many of them find jobs and internships around the University. Some students with special qualifications are indeed appointed as teaching or research assistants in the department. The Ph.D. program is for students interested in obtaining academic or research positions in universities or in government or industrial research laboratories. The program gives students a rigorous and thorough knowledge of a broad range of theoretical and practical research subject areas, and develops their ability to recognize and pursue significant research in computer science. Nearly all students in the Ph.D. program are supported as teaching assistants in the first year, typically followed by a research assistantship on funded projects thereafter. The distinction between the M.S. and the Ph.D. programs is not necessarily hard and fast; students enrolled in the M.S. program can and often do apply for admission to the Ph.D. program. RESEARCH AREAS Algorithms and Complexity This group does research in algorithms and data structures, computational biology, computational complexity, computational geometry, game theory, computational finance, complexity theory, string processing, graph and network algorithms. In addition to our theoretical contributions, we have a strong record of developing widely used systems for combinatorial computing, computer graphics optimization, and parallel-processor scheduling. This group includes Arkin, Bender, Gao, Hart, Ko, Kuszmaul, Mitchell, Ortiz, and Skiena. Applied Logic and Information Systems This research group spans the areas of databases, data mining, logic programming, programming languages, Web infor- Professor George Hart creates computer-aided sculptures by novel 3-D modeling computational geometry, algorithims, and advanced manufacturing technologies. mation systems, medical informatics and deductive systems. The group includes one of the largest and finest applied logic groups in the world, which attracts international visitors. XSB, developed by the group, is a widely used deductive database/ Prolog engine. FLORA-2, a deductive engine for the Semantic Web, is another popular project. Other important work includes tools for creating intelligent Web agents and automation of inference systems. Deductive calculi proposed by members of the group have been adopted in many state-of-the-art theoremproving systems and were a key in the automated proof of the Robbins conjecture, a long-standing open mathematical problem. Faculty members in this group are professors Bachmair, Gupta, Kelly, Kifer, Liu, Ortiz, C.R. Ramakrishnan, I.V. Ramakrishnan, Warren, Wasilewska, Zhao, and Zhu. Concurrency and Verification The Concurrency and Verification group investigates methods for constructing reliable, robust, and secure concurrent and distributed systems. These methods are being used to verify 2

5 problems emphasizes a cross-disciplinary approach that draws on expertise in compilers, operating systems, networks, databases, programming languages, formal methods, fault-tolerance, algorithms, and cryptography. The group members include Professors Chiueh, Johnson, Liu, C.R. Ramakrishnan, Sekar, Sion, Stoller, and Zadok. Professor Amanda Stent and a graduate student evaluate a speech recognition application in the Natural Language Processing Lab. the correctness of a number of safety-critical systems, communication protocols, and e-commerce protocols, as well as security properties of distributed systems. Primary industrial partners include ADEMCO, Computer Associates, Northrop Grumman, and Reuters International. Faculty members in this group are Bernstein, Grosu, Lewis, C.R. Ramakrishnan, I.V. Ramakrishnan, Smolka, Stark, Stoller, and Warren. Computer Systems and Networks The Computer Systems and Networks faculty work on many aspects of computer systems and networks. Current areas of interest include: parallel computing, computer architecture, network protocols, wireless networks and mobile computing, sensor networks and embedded systems, file systems and storage, distributed systems, large-scale data management, databases, multimedia systems, interconnection networks, program analysis and optimization, compilers, software testing and verification, fault tolerance, and more. The Computer Systems and Networks faculty includes Badr, Chiueh, Das, Gao, Gupta, Jiao, Kuszmaul, Sekar, Sion, Smith, Stoller, Wittie, Wang, Wong, Yang and Zadok. Security The Security group at Stony Brook is recognized as one of the leading groups in computer systems and network security research nationally and internationally, and attracts visiting researchers from around the world. The group s research areas include: language-based security, detection and mitigation of software vulnerabilities, trust management, formal methods for security assurance and vulnerability analysis, intrusion detection, storage security, privacy-preserving data warehousing, security monitoring and regulatory compliance, and authentication and access control techniques for multimedia and next generation web technologies. Research on these Visual Computing The Center for Visual Computing is an internationally recognized center dedicated to research, industrial interaction, and education in the technology of and applications for digital images and computer-human interaction. Recent software tools developed by the Center include: VolVis for volume visualization (disseminated to more than 3,500 sites), and Virtual Colonoscopy for navigating in a reconstructed 3-D model of the colon for cancer screening, BrainMiner for visual data exploration of the brain, and RapidCT for real-time Computed Tomography using graphics hardware (GPUs). The Center pioneered several architectures; the most recent has been the Cube-4 for real-time high-resolution volume rendering, which has been commercialized by Mitsubishi Electric as the VolumePro board the first such hardware for the PC. Faculty in this group includes Berg, Brennan, Chiueh, Gu, Hart, Jiao, Kaufman, Liang, Mitchell, Mueller, Pavlidis, Qin, Samaras, Scarlatos, Stent, Vasilescu, Zelinsky, and Zhu. Computer Science Education Apart from research, furthering computer science education is another important part of the departmental agenda. Many faculty members have written books and developed educational software and Web-based material that is in use in hundreds of classrooms around the world. This group of distinguished faculty includes professors Bachmair, Bernstein, Ferguson, Grosu, Kaufman, Kelly, Kifer, Ko, Lewis, Pavlidis, C.R. Ramakrishnan, Skiena, Smolka, Smith, Warren, and Zadok. Students working in the Visualization Lab. 3

6 Research Facilities The Center for Excellence in Wireless and Information Technology (CEWIT) building. The Computer Science laboratories and department offices are headquartered in the Computer Science Building, which has more than 20,000 square feet of lab space. In addition, plans are being drawn for a new state-of-the-art Computer Science building extension. A separate building for the Center of Excellence in Wireless and Information Technology (CEWIT) with about 100,000 square feet of laboratory space has recently opened. Many computer science research projects have significant laboratory space in this building. The department s main backbone network runs on Gigabit Ethernet with a backbone bandwidth of 2.6GB/sec, and is connected to the Internet via a 100Mbps network connection. Stony Brook has dual OC12 connections to the Internet and connectivity to Internet 2. We provide secure WiFi (802.11n) wireless network access in the department. Public facilities include desktop workstations in student offices, a lab where students may connect their personal laptop to the Internet and two public labs with workstations. Graduate students have access to a dedicated lounge, study room, and a game room. Ph.D. student offices contain a workstation on every desk. Students can access several printers (color and black/white), copier machines, scanners, and fax machines. The department includes a computer cluster for CPUintensive jobs, as well as many dedicated servers: an application server, Web server, Database server, FTP server, , virus detection/antispam, software distribution, backup and more. The public facilities provide access to hundreds of software packages (Unix and Windows), many of which are commercial. We have three major research centers and a number of well equipped research labs, described later in this section. Student members of these labs each have a dedicated workstation on their desk. The labs cumulatively provide the following: thousands of software packages running on more than a dozen operating systems, including Linux, Windows, Mac OS-X, Solaris, BSD, and more; over 200 Terabytes of disk space; wireless and Gigabit networks; and hundreds of machines from various architectures, ranging from small wireless handhelds and laptops, and desktops to server-class systems and a super-computer class system. Researchers have access to a processor IBM Blue Gene/L massively parallel supercomputer of the New York Center for Computational Sciences (NYCCS). The facilities are almost continuously updated as new systems come out and research thrusts evolve. Visit research for specific details concerning our facilities. 4

7 The Center for Visual Computing (CVC) advances visual computing studies and computer-human interaction at Stony Brook, promotes research and education in visual computing, collaborates with industry, and fosters interdisciplinary interaction. Visual computing research activities include: visualization, computer graphics, image processing, computer vision, medical imaging, virtual reality, user interfaces, visual perception, visual analytics, geometric modeling, computersupported collaborative work, computer-aided design, multimedia, and computational geometry. Research at the center is conducted by about a dozen faculty and more than 40 graduate students and post-docs. The department is also affiliated with two new centers: A student creating a MIDI beat track in the Multimedia Lab. Research Centers The Center of Excellence in Wireless and Information Technology s (CEWIT) mission is to keep the New York area in the forefront in wireless and information technologies by conducting innovative research and development and by fostering public-private partnerships, regional enterprises, and commercialization. Since its inception several years back, the center has been engaged in several ground breaking projects, many in partnerships with local industry. The center s activities include, for example, wireless networking, sensor networks, pervasive and ubiquitous computing, cyber-security, homeland security, graphics and visualization, simulations, data mining, e-commerce, software for healthcare, telemedicine, biomedical computing, computational neuroscience. This center has more than $200 million of funding, with $50 million coming from New York State for capital facilities, including a building with state-of-theart laboratories. While CEWIT is a central research and development enterprise to the university, the faculty and students in the Computer Science Department are significantly engaged in the center s activity. The mission of the Center for Cyber Security (CCS) is to advance research and education in computer, network, and information security and assurance. Research at the Center is carried out by over a half-dozen faculty and about 40 graduate students. Current research areas include: language-based security, detection and mitigation of software vulnerabilities, trust management, formal methods for security assurance and vulnerability analysis, intrusion detection, storage security, privacypreserving data warehousing, security monitoring and regulatory compliance, and authentication and access control techniques for multimedia and next generation web technologies. Research on these problems emphasizes cross-disciplinary approaches founded on principles from compilers, operating systems, networks, databases, programming languages, formal methods, fault-tolerance, algorithms, and cryptography. CCS is an NSFdesignated Center for Industry/ University Collaborative Research, and has been an NSA-designated Center of Excellence since Notable educational programs at the Center include academic specializations in information assurance at the graduate and undergraduate levels, and an NSFsponsored scholarship program to support domestic students in cyber security. The New York Center for Computational Sciences (NYCCS) is a joint venture of Stony Brook University and Brookhaven National Laboratory (BNL). The Center was formed to foster high-performance massively parallel computing on a whole range of science and technology topics. Its hardware consists of an 18-rack IBM Blue Gene/L supercomputer with a total of 36,864 processors and 18.4 TB of memory and a peak performance of teraflops. The machine, named New York Blue, was in fifth place on the June 2007 Top 500 supercomputing rankings. The Consortium for Digital Arts, Culture, and Technology (cdact) is a joint venture of the departments of Computer Science, Art, Music, Comparative Literary and Cultural Studies and Performing Arts to promote digital media education, research, and creativity. Research Laboratories The research laboratories are run by individual faculty members or small groups of faculty members to support their respective research areas. Professor Steve Skiena working with students in the Applied Algorithms Lab. Applied Algorithms Lab conducts both theoretical and experimental research in string, graph, combinatorial, and geometric algorithms. Application areas include computational biology, finance, text processing, scheduling, and manufacturing. Recent projects include news/blog processing (www.textmap.com), DNA sequence assembly, synthetic virus 5

8 Graduate students work on a server upgrade in the File Systems and Storage Lab. design for vaccines, multiprocessor scheduling, and cacheoblivious data structures. Applied Logic Lab studies the principles and applications of logic-based methods in databases, verification of concurrent systems, data mining, agent-based systems, and Web information systems. Members of the Lab are engaged in three major projects: FLORA, a declarative object-oriented language for programming knowledge-intensive applications; The LMC (Logic Programming-Based Model Checking); and XSB, a high-performance logic programming and deductive database system. Concurrency and Verification Lab conducts research in, and creates integrated toolsets for, the specification, simulation, verification, and implementation of concurrent systems such as communication protocols and process control systems. Past accomplishments include the development of the Concurrency Factory, Concurrency Workbench; and PIOATool suites; and the modeling and verification of real-life applications such as the Rether real-time Ethernet protocol and the Java virtual machine meta-locking algorithm. Design and Analysis Research Lab (DAR) develops methods and tools for constructing reliable and efficient computer systems. The lab has projects in modeling and specification, analysis and verification, design and optimization, code generation, and testing. These projects are for computer security, reactive systems, embedded systems, database applications, and Web information retrieval. Experimental Computer Systems Lab performs research in computer systems areas including networking, media processing, distributed systems, operating systems, computer and network architectures, and database. Among the projects are: Rether, a real-time protocol; Ethereal, a realtime Ethernet switch; and the Stony Brook Video Server (SBVS), an Ethernet-based distributed video server that can function over a LAN. File-Systems and Storage Lab performs research in operating systems including file systems and storage, security, and networking. An emphasis is placed on balancing system security, performance, and usability; improving portability of operating system code; improving programmer and system administrator productivity; and compiler-based techniques to improve the software engineering of operating systems. Past projects include FiST, a comprehensive portable stackable file system; a cryptographic file system; versioning file system; a unification file system (Unionfs); a virus-detection file system; a tracing and replaying file system; and more. Additional projects include an assortment of GCC plugins for static and dynamic analysis. Geometric and Graphical Modeling Lab shares the computing infrastructure and desktop equipment of the Center of Visual Computing. Current research topics span CAGD, CAD/CAM, geometric algorithms, graphical and visual modeling, physics-based simulation and animation, shape deformation and reconstruction, finite element simulation and analysis, haptic interface, reverse engineering, medical imaging, and other applications in graphics, vision, and scientific visualization. Graphics Hardware Lab provides a workspace and the tools necessary for the assembly of processors and graphics emulators designed by the Center for Visual Computing to further the Center s research. Examples of such emulators are the ones used in the Cube project, the vg500 rendering engine, and eye tracking device. Human-Computer Interaction Lab is dedicated to experimental research in human-computer interaction, including evaluations of the systems emerging from the Natural Language Processing and Applied Logic Labs. Image Analysis Lab focuses on 3D computer vision problems such as shape reconstruction; illumination and reflectance estimation and representation; deformable models; 3D tracking, object recognition; and image-based modeling. Application areas include human-computer interaction (face recognition and face and hand tracking) and biomedical applications, such as 3D brain sequence analysis. The lab, which shares the Center of Visual Computing (CVC) infrastructure, has a dynamic (30Hz) 3D face scanner, and shares a Cyberware 3D scanner, a highspeed (1000Hz) camera, a number of high-end Pentium PCs and state-of-the-art conventional and stereo CCD cameras. Information Systems Lab develops tools and techniques to improve the use and analysis of data in clinical settings. One current project is a system to apply rules to identify previously undetected clinical findings and candidates for clinical trials, prior to patient discharge in the Emergency Department. Other projects include the Universal Medical Monitor, a software interface to medical monitors, and the Anesthesia Record Keeper, a system to record and analyze clinical data associated with operating room cases. Natural Language Processing Lab performs research in natural language processing, including spoken and multimodal dialog systems, natural language generation, corpus linguistics, reference resolution, and automatic question answering. Systems coming out of the lab include the Stony Brook Rate-a- Course system, the Stony Brook Raven Calendar system, and the SBU-QA system. Members of the NLP lab work with the Applied Logic Lab and the Algorithms Lab. 6

9 NET Lab conducts research on massively parallel computing networks; simulation of ultra-fast (PetaByte/sec) computer networks and massively parallel computer data exchanges; memory latency reduction in parallel RSFQ superconducting computers; grid computing; super compilation of Java programs; and extraction of gene expression cascade trigger events. Professor Rob Johnson leads a discussion with students in the Security, Programming Languages, and Theory (SPLAT) Lab. Network Security and Applied Cryptography Lab (NSAC) builds systems and develops strongly secure information assurance mechanisms to make the world a better place. NSAC is interested in real, practical problems for which efficient solutions can be provided. Instances of research areas include regulatory-compliant systems, secure data outsourcing, security in wireless and sensor networks, queries/searches over encrypted data, secure networked storage with privacy, security policies in computation/data grids, and digital rights management. NSAC is affiliated with the Center for Cyber Security. Secure Systems Laboratory conducts research aimed at advancing the security and resilience of practical, large-scale software systems and networks. Ongoing research involves source- and binary-code analysis; instrumentation and transformation techniques for software vulnerability remediation; safe execution of untrusted software; proactive and comprehensive malware defense using OS-, network- and application-layer techniques; new models, algorithms and learning techniques for automated detection, signature generation and filtering of attacks in high-speed networks; and virtual networks for safe, large-scale security experiments. Security, Programming Languages, and Theory Lab (SPLAT) explores new security attack and defense technologies, program analysis and transformation techniques, and other algorithmic and theoretical problems. Projects include new technologies for protecting blogger privacy, tools for automatically finding bugs in software, a distributed worm defense system, methods for authenticating digital photographs, and cryptographic attacks on Digital Rights Management systems. Trusted Hardware Lab (THL) constitutes a central academic expertise and research knowledge repository on secure hardware, a nationwide first of its kind. It will support community-wide educational and research activities, and provide direct hands-on or networked access to remote or visiting research community members. The lab is sponsored by NSF, IBM Research, the IBM Cryptography Software Group and others. THL is affiliated with the Network Security and Applied Cryptography Lab as well as with the Center for Cyber Security. The mission of the Virtual Reality Lab is to develop virtual reality systems for various design and testing applications such as mechanical CAD fly-throughs, architectural walkthroughs, medical diagnosis, and biomolecular drug design. The lab provides access to unique hardware such as 5-wall immersive room, immersive workbench, haptic feedback, 3D audio, head-mounted displays, 6D spaceball, VPL data glove, flying mouse, Isotracks, and a Wacom digitizing tablet. The Visualization Lab develops rendering techniques for use in scientific and information visualization applications. Among the projects are architectures for volume rendering, volume rendering of regular and irregular grids, GPU-accelerated scientific computing and visualization, flow and vector field visualization, visual analytics and data mining, methods for volumetric data acquisition, cognitive and perceptional aspects of visualization, computed tomography, and other medical imaging applications. A student tries out a rendering technique in the Visualization Lab. The Wireless Networking and Simulation Lab (WINGS) is engaged in research on wireless networks, including wireless LANs; wireless ad hoc, mesh and sensor networks; and vehicular networks. The laboratory has a cluster of high-end Linux workstations on a high-speed interconnect for simulation studies. It also has a large number of various commodity wireless networking systems including laptops and palmtops with wireless interfaces, various wireless access points, embedded platforms with wireless interfaces, and also a sensor network testbed. 7

10 Our Distinguished Faculty The Department of Computer Science boasts an internationally renowned faculty that is actively involved in the academic and research community in numerous ways. Professors Bernstein, Kaufman, Lewis, Liang, Pavlidis, and Warren have been appointed to the highest level of honor as Fellows of IEEE and/or ACM. Professors Das, Kaufman, Kifer, Ko, Mitchell, Pavlidis, Skiena, Smolka, Qin and Warren have set high standards in their respective fields by acting as editors-in-chief and/or editors of major computer science journals, with Kaufman and Warren having served as heads of their professional organizations. Distinguished Professor Arie Kaufman works with a doctoral student on a haptic interface in the Center for Mitchell received the U.S. National Science Visual Computing. Foundation s Presidential Young Investigator Award. Chiueh, Das, Gao, Grosu, Gu, Mueller, C.R. Ramakrishnan, Stoller, Qin and Zadok have received the U.S. National Science Foundation s CAREER award. Skiena and Stoller have received the ONR Young Investigator award. Qin has received the Sloan Research Fellowship. Chiueh, Mitchell, Skiena, and Wasilewska have received the Fullbright Scholarship. Zadok received the IBM Faculty Award twice. Furthering computer science education is another important mission of the department. Many of our faculty members have written books, and Professors Kifer, Skiena, Smolka, and Warren have developed award-winning educational software. Professors Arkin, Badr, Bender, Chiueh, Kelly, Mitchell, Mueller, Skiena, Stark, and Zadok have received major education or teaching awards. Most of all, our faculty members contribute to the field through teaching the scientists and educators of tomorrow. Finally, our faculty members have made extensive contributions to the computer science research community. Notable recognitions include: Pavlidis receiving the King-Sun Fu Prize in pattern recognition, Kaufman receiving the IEEE Visualization Career Award and the New York State Entrepreneur Award for developing virtual colonoscopy, Kifer twice receiving the ACM SIGMOD Test of Time Award for the most impact over the past decade, Bender receiving the R&D 100 award for scheduling in parallel computers, and Vasilescu being named by MIT s Technology Review Magazine in their TR100 list of top young innovators. 8

11 ESTHER M. ARKIN, Professor Ph.D. 1986, Stanford University Esther M. Arkin received her B.S. in Mathematics from Tel-Aviv University in 1981, and her M.S. and Ph.D. in Operations Research from Stanford University in 1983 and After five years on the faculty at Cornell University s School of Operations Research and Industrial Engineering, she joined the faculty at Stony Brook in 1991, where she is now Professor of Applied Mathematics and Statistics and a Research Professor of Computer Science. Arkin has won several awards for excellence in teaching, as well as NSF awards and grants for research. Her research interests are the design and analysis of algorithms for a variety of fields, including computational geometry, graphs, network optimization, scheduling, and pattern recognition. (631) , LEO BACHMAIR, Professor Ph.D. 1987, University of Illinois at Urbana-Champaign Computational logic studies the computational aspects of logical formalisms and their application to computer science, such as specification and verification, databases, and artificial intelligence. The focus of Leo Bachmair s research has been on automated reasoning, the investigation of the mechanization of deductive inference systems, and search methods fundamental to these applications. In particular, Bachmair has studied logical systems with equality essential in computing applications and developed new deductive calculi that have been implemented in state-of-the-art theorem-provers. Bachmair and his colleagues have also introduced the inference system cum proof ordering methods to the study of term rewriting-based approaches to equational reasoning. His more recent work has been aimed at developing the methodology of saturation theorem proving and a formal notion of redundancy in proof search that covers special ad-hoc techniques used in most theorem provers. These methods led to improvements in theorem-proving technology, and were a key in the proof of a longstanding open problem in mathematical logic, the Robbins conjecture, by a mechanical theorem-prover. (631) , HUSSEIN G. BADR, Associate Professor Ph.D. 1981, Pennsylvania State University Hussein Badr specializes in the modeling and performance evaluation of computer systems with a focus on computer networks. His research activities center on network traffic analysis and end-to-end protocols. He holds awards for published research (Joint Performance/SIGMETRICS Conference), for Excellence in Teaching (CEAS, Stony Brook University), and for Service to Education (Stony Brook University). Badr joined the Department of Computer Science in He holds degrees from the University of Edinburgh, Scotland (B.Sc. in Computer Science, 1974) and Pennsylvania State University (M.S. in Computer Science and Operations Research, 1976; Ph.D. in Computer Science, 1981). (631) ,

12 MICHAEL A. BENDER, Associate Professor Ph.D. 1998, Harvard University Michael Bender conducts research in the algorithmic aspects of computer science, with a focus on scheduling, parallel computing, data structures, and algorithms for massive data sets. Bender is particularly interested in cache-oblivious algorithms, that is, platform independent algorithms running nearly optimally on all memory hierarchies. He uses such algorithms to accelerate databases and file systems. Bender also studies scheduling problems in a variety of application areas. For example, he developed a processor scheduling and allocation algorithm, in collaboration with Sandia National Labs, which has been commercially licensed and is being used on supercomputers around the country. Bender has received several awards, including an R&D 100 Award for his work on scheduling in parallel computers, and three awards for both graduate and undergraduate teaching. He has held Visiting Scientist positions at both MIT and King s College, London. Bender received his B.A. in Applied Mathematics from Harvard University in 1992 and obtained a D.E.A. in Computer Science from the Ecole Normale Superieure de Lyon, France in He completed a Ph.D. on Scheduling Algorithms from Harvard University in (631) , TAMARA L. BERG, Assistant Professor Ph.D. 2007, University of California, Berkeley Tamara Berg s main research area is Digital Media, specifically focused on organizing large collections of images with associated text through the use of techniques from Natural Language Processing and Computer Vision. Today billions of images with associated text are available in web pages, captioned photographs from news sources, video with speech or closed captioning, and others. In order to organize, search and exploit these enormous collections she has developed methods that combine information from both the visual and textual sources effectively. Her past projects include: automatically identifying people in news photographs, classifying images from the Web, and finding iconic images in consumer photo collections. She is generally interested in bringing together people and expertise from various areas of Digital Media including digital art, music, and cultural geography. Berg is affiliated with the Stony Brook Consortium for Digital Arts, Culture, and Technology (cdact). (631) , ARTHUR BERNSTEIN, Professor Emeritus Ph.D. 1962, Columbia University Arthur Bernstein earned a Ph.D. in Electrical Engineering from Columbia University in He was a member of the faculty of Princeton University and a research scientist at the General Electric Research Laboratory, where he was a designer of an early time-sharing system. His research interests are in the general area of concurrency. His most recent project concerned transaction processing and the use of formal methods in improving the performance of transaction processing systems and demonstrating their correctness. This has led to an interest in the protocols and transactional aspects of electronic commerce. Bernstein has co-authored a graduate text titled Concurrency in Programming and Database Systems and is co-authoring a text on databases and transaction processing systems. He has written numerous research papers and is a Fellow of the IEEE. (631) ,

13 SUSAN BRENNAN, Associate Professor Ph.D. 1990, Stanford University Susan Brennan holds joint appointments in Psychology and Computer Science, and is also affiliated with the Department of Linguistics. She received her doctorate from Stanford University in Cognitive Psychology and her master s degree from MIT s Architecture Machine Group, where she worked on computer-generated caricatures and teleconferencing interfaces. She has conducted research in natural language processing and human-computer interaction at Atari, Apple, and HP Labs. She uses behavioral and eye-tracking techniques to study the interpretation, production, and adaptation of spontaneous speech in interactive settings. In addition to mentoring graduate students with interests in cognitive science, Brennan teaches cognitive psychology, psycholinguistics, and human factors to undergraduates. Recent keynote and plenary addresses include EDILOG 2002 (Scotland) and CHIACS2 (IBM s Conference on Human Impact and Application of Autonomic Computing Systems, 2004). She serves as consulting editor of Psychological Science; previously she served as associate editor of Discourse Processes and consulting editor of Computational Linguistics. (631) , TZI-CKER CHIUEH, Professor Ph.D. 1992, University of California, Berkeley Tzi-cker Chiueh received his B.S. in Electrical Engineering from National Taiwan University, M.S. in Computer Science from Stanford University, and Ph.D. in Computer Science from University of California at Berkeley in 1984, 1988, and 1992, respectively. He received an NSF CAREER award in 1995, a NYNEX Excellence in Education Award in 1996, a Best Paper award from the IEEE Hot Interconnect Symposium in 1999, a Long Island Software Award in 1997 and 2004, and Best Paper Awards from the 20th Annual Computer Security Applications Conference (ACSAC 2005), the 8th International Symposium on Systems and Information Security (SSI 2006), and the 3rd International Symposium on Information Assurance and Security (IAS 2007). Chiueh has published more than 140 technical papers in refereed conferences and journals. His research interest lies in wireless networking, computer security, and storage systems. (631) , SAMIR R. DAS, Associate Professor Ph.D. 1994, Georgia Institute of Technology Samir Das s research interests are in wireless and mobile networking protocols, systems and applications. His work has mainly considered various forms of multihop wireless networks, such as ad hoc, mesh and sensor networks. He is also interested in wireless local and personal area networks, RFID systems and vehicular networks. His research has mainly considered design and analysis of network-layer and link-layer protocols and performance modeling. He is a co-author of the Internet RFC on the popular ad hoc network routing protocol, AODV. Das has received the NSF Faculty Early CAREER award in 1998 and the best paper award in ACM MobiSys conference in He has been a speaker in the Distinguished Visitor program of the IEEE Computer Society during He co-chaired the technical program committees for the ACM MobiHoc Symposium in 2001 and ACM MobiCom Conference in He currently serves or has served on the editorial boards of the IEEE/ACM Transactions on Networking, IEEE Transactions on Mobile Computing, ACM/Springer Wireless Networks Journal, and Ad Hoc Networks journal. Das also serves as the Director of Systems and Infrastructure Division in CEWIT. (631) ,

14 DAVID FERGUSON, Distinguished Service Professor Ph.D. 1980, University of California at Berkeley David Ferguson is Distinguished Service Professor and Chair of the Department of Technology and Society. He holds joint appointments in the Departments of Computer Science and Applied Mathematics and Statistics. He has directed numerous projects, including a half-dozen NSF projects, aimed at improving science, technology, engineering, and mathematics education at both the undergraduate and graduate levels. His research and teaching thrusts are in the areas of problem solving, advanced technologies in the learning and teaching of mathematics and science, and socio-technological decision making. Ferguson is a New York State and national leader in programs to enhance the participation of underrepresented groups in science and engineering. He directs two NSF-funded projects in this area: the SUNY Louis Stokes Alliance for Minority Participation (LSAMP), and the SUNY Alliance for Graduate Education and the Professoriate (AGEP). He is the recipient of several awards: U.S. Presidential Award for Excellence in Science, Mathematics and Engineering Mentoring (PAES- MEM), Archie Lacey Award of the New York Academy of Sciences, and the Engineering Educator Award of the Joint Committee on Engineering of Long Island. (631) , JIE GAO, Assistant Professor Ph.D. 2004, Stanford University Jie Gao is interested in algorithm design and analysis, focusing on mobility and distributed algorithms in ad hoc wireless and sensor networks. Her recent work takes a geometric approach to study algorithms in sensor networks, for a number of important architecture components including network topology discovery, network localization, geometric routing, and information brokerage and retrieval. Gao received a B.S. in Computer Science from the Special Class for the Gifted Young, University of Science and Technology of China in 1999, and a Ph.D in Computer Science from Stanford University in She received the National Science Foundation CAREER Award in (631) , RADU GROSU, Associate Professor Ph.D. 1994, Technical University of Munich, Germany Radu Grosu s primary research interest is to develop methods and tools with a mathematical foundation for the specification, design, and analysis of reactive and embedded systems. The aim is to increase the reliability and the security of these systems. Research topics include modeling languages, requirements specification and capture, temporal logics, formal verification, model checking, heuristics for state-space analysis, tools and applications to software engineering, computer-aided hardware design, and embedded controllers. He is involved in the development of several tools exploiting novel engineering concepts in order to scale up their modeling and analysis power. The model checker Mocha takes advantage of the architectural hierarchy in the development of hardware close discrete systems. The model checker Hermes takes advantage of the behavioral hierarchy in the development of discrete software systems for example, network protocols. The modeling and simulation language Charon exploits both behavioral and architectural hierarchy in the development of mixed discrete and continuous systems. (631) ,

15 XIANFENG (DAVID) GU, Assistant Professor Ph.D. 2003, Harvard University Xianfeng David Gu conducts research in the area of systematic application of modern geometry in computer graphics, computer vision, computer aided geometric design, visualization and medical imaging. His research has opened up a novel interdisciplinary field Computational Conformal Geometry, which combines Riemann surface theory, differential geometry and algebraic topology with computer science, and has broad applications in solving fundamental problems in engineering fields, such as surface classification, geometric matching, shape analysis and shape manipulation. Gu is developing the paradigm of general geometric structures of shapes, including conformal structure for surface parameterization, spherical structure for brain mapping, affine structure for manifold splines, and hyperbolic structure for shape space. Gu has invented various computational geometric tools, such as geometry images, discrete holomorphic forms, and discrete Ricci flows, which have many industrial applications. Gu received the National Science Foundation s CAREER Award in (631) , HIMANSHU GUPTA, Assistant Professor Ph.D. 1999, Stanford University Himanshu Gupta received a B.Tech. (1992) in Computer Science and Engineering from IIT, Bombay, and an M.S. and Ph.D. in Computer Science from Stanford University in After some years in industry and a year at the University of Chicago, he joined the faculty at Stony Brook in His recent research activities focus on sensor networks, wireless networking, and database systems. In particular, he is interested in sensor networks programming and databases, and theoretical issues in wireless networking. His other research interests are in database systems and theory, within which he is interested in materialized views, (multiple) query optimization, and data analysis. (631) , GEORGE W. HART, Research Professor Ph.D. 1987, Massachusetts Institute of Technology George W. Hart s research interests include 3-D modeling, computational geometry, algorithms, and computer-aided sculpture. His focus is on developing tools for creating geometric sculptures that connect all the stages between the initial mental conception and the final physical realization. His sculptures, generated with novel algorithms, with modern technology such as laser-cutting and solid freeform fabrication, and with his own hands, have been displayed throughout the U.S. and in Europe. Hart was a research scientist at the MIT Lincoln Laboratory and MIT Energy Laboratory and then a professor at Columbia University before coming to Stony Brook. His writings include two books, Multidimensional Analysis (Springer, 1995), and Zome Geometry (with coauthor Henri Picciotto, Key, 2001). (631) ,

16 XIANGMIN (JIM) JIAO, Assistant Professor Ph.D. 2001, University of Illinois at Urbana-Champaign Jim Jiao's research interests are in high-performance geometric and numerical computing in science and engineering. His work focuses on developing efficient and robust algorithms and high-performance software implementations for dynamic surfaces, mesh optimization, applied computational and differential geometry, and multi-physics coupling, for applications involving heterogeneous physical systems, such as simulations of solid rocket motors, climate modeling, biological organs, and computer animations. He received his Ph.D. in Computer Science from University of Illinois at Urbana-Champaign in After working in interdisciplinary research for a few years as a Research Scientist at the Center for Simulation of Advanced Rockets at UIUC and then as a Visiting Assistant Professor in the College of Computing at Georgia Institute of Technology, he joined the faculty at Stony Brook in Fall (631) , ROBERT JOHNSON, Assistant Professor Ph.D. 2005, University of California, Berkeley Robert Johnson received his Ph.D. in Computer and Software Security from the University of California at Berkeley prior to joining the Department of Computer Science at Stony Brook University in Johnson is interested in all aspects of computer security and has done research in software security, system and network security, cryptography, digital rights management, operating systems, networks, and algorithm design and analysis. His research projects include new digital signatures for authenticating images, static analysis tools for finding security bugs in software, easyto-use privacy controls for blogs and social networks, and a distributed, cooperative worm-defense system. Johnson s research is supported by the National Science Foundation. (631) , ARIE E. KAUFMAN, Distinguished Professor and Chair Ph.D. 1977, Ben-Gurion University, Israel Arie Kaufman is the Director of the Center for Visual Computing (CVC) and the chief scientist of the Center of Excellence in Wireless and Information Technology (CEWIT). He has been conducting research in visualization, computer graphics, virtual reality, user interfaces, multimedia, and biomedical and scientific applications for more than 35 years. Kaufman has been a pioneer and a leader in volume visualization, especially in the areas of volume hardware accelerators (e.g., Cube-4), volume visualization software (e.g., VolVis), biomedical applications (e.g., virtual colonoscopy), volume graphics (e.g., voxelbased flight simulation), and national security (e.g., urban plume modeling). Kaufman was the founding Editor-in-Chief of the IEEE Transactions on Visualization and Computer Graphics (TVCG), He has been the chair or co-chair for multiple Eurographics/Siggraph Graphics Hardware Workshops, IEEE Visualization Conferences, ACM Volume Visualization Symposia, and Workshops on Volume Graphics. He is the co-founder and member of the Steering Committee of the IEEE Visualization Conference series. He has previously chaired and is a director of the IEEE Computer Society Technical Committee on Visualization and Graphics. (631) ,

17 ROBERT KELLY, Associate Chair Ph.D. 1991, New York University Rob Kelly s research interests include medical informatics, software engineering, systems engineering, image processing, Internet programming, and parallel programming. The primary research focus has been on systems to reduce the incidents of medical errors in acute health-care facilities. This work includes a system for a high level interface to medical monitors, representation techniques for clinical guidelines as system-independent documents, an anesthesiology clinical support system, a rule-based system for discharge planning, and a system to associate monitor data with outcome data to improve prediction of patient condition in critical care settings. He is also developing systems to process marine science sensor data with the goal of developing inquiry systems for marine features. Kelly has published papers on these topics in major journals and conferences. He has been on program committees and chaired invited sessions of a number of international conferences. Kelly is also the graduate director of the college-level program in Systems Engineering. Collaborating with an industry partner, he has developed a software application that received the Long Island Software Award for Internet-based software. (631) , MICHAEL KIFER, Professor Ph.D. 1984, Hebrew University of Jerusalem, Israel Michael Kifer is working on various aspects of knowledge representation that span the areas of databases, logic programming, expert systems, and artificial intelligence. One of his projects deals with the development of logical foundations for object-oriented database languages. F-logic and Transaction Logic, co-invented by Kifer in collaboration with his colleagues and students, serve as a basis for this study. Kifer s work has twice been recognized by the ACM Special Interest Group on Management of Data (SIGMOD) with the prestigious Test of Time Award. In his theoretical work, Kifer always has practical applications in mind. For instance, the results and tools developed as part of Kifer s research have been recently applied to the development of workflow management systems and Web information systems. (631) , KER-I KO, Professor Ph.D. 1979, Ohio State University Ker-I Ko s research interests are in the area of theoretical computer science, especially the study of computational complexity. Computational complexity studies the inherent difficulty of solving algorithmic problems in digital machines. One of the goals of this research is to identify precisely, using formal mathematical tools, the class of feasibly solvable problems. Ko s major work in this area is the development of a new mathematical theory of computational complexity for numerical problems. This theory applies the notions and techniques of discrete complexity theory to study continuous problems in numerical computation, thus providing a unified view of computational complexity on both areas. Ko published a research monograph on this subject in Before joining Stony Brook in 1986, Ko taught at the University of Houston and University of California at Santa Barbara. His other research interests include the theoretical study of fractals, computational learning theory, and combinatorial mathematics. (631) ,

18 BRADLEY C. KUSZMAUL, Assistant Professor Ph.D. 1994, Massachusetts Institute of Technology Bradley C. Kuszmaul s research applies algorithm design to solve systems problems in high-performance computing. He was one of the principal architects of the Connection Machine CM-5, and is the co-author of two world-class computer chess programs (StarTech and *Socrates). Kuszmaul participated at MIT in the Cilk development project, which provides an algorithmic multithreaded programming system. His entry won 5 out of 6 categories in Jim Gray s 2007 sorting benchmark contest, sorting a terabyte in 197 seconds. Before coming to Stony Brook, Kuszmaul was a faculty member in the Department of Computer Science, Yale University, research scientist at Akamai and research scientist in the Supercomputing Technologies Group at the MIT Laboratory for Computer Science. Kuszmaul is affiliated with the New York Center for Computational Sciences (NYCCS). (631) , PHILIP M. LEWIS, Professor Emeritus Ph.D. 1956, Massachusetts Institute of Technology Philip Lewis conducts research on the correctness of concurrent systems. One approach, developed with Arthur Bernstein, is based on a new definition of semantic correctness of transactions, which allows a significant increase in transaction throughput. Another approach is based on model checking using a state machine model of the concurrent system. He is interested in combining these approaches to study the correctness of Internet transaction protocols involving encryption. Before coming to Stony Brook, Lewis spent 28 years at the General Electric Research and Development Center, where he was Manager of the Computer Science Branch. He did research there on threshold logic, computational complexity, compilers, and transaction processing. He co-invented LL(K) top-down parsing and the Kill-Wait and Wait-Die concurrency controls. Lewis is the author of three books and is a Fellow of the ACM and the IEEE. (631) , JEROME Z. LIANG, Professor Ph.D. 1987, The City University of New York Jerome Liang s research interests include development of virtual endoscopy for cancer screening; low-dose CT for dynamic imaging; quantitative SPECT for functional imaging; high-resolution PET for functional imaging; automatic methods for MRI image quantification; and various models, in terms of physics, mathematics, and statistics, to simulate the practical problems above and to validate the models by experiments. He has authored more than 100 scientific publications and has served on the Editorial Board of the IEEE Transactions on Medical Imaging since He is a Fellow of the IEEE. (631) ,

19 Y. ANNIE LIU, Associate Professor Ph.D. 1996, Cornell University Annie Liu s primary research interests are in the areas of programming languages, algorithm design, and software systems, particularly general and systematic design methods for generating efficient implementations from clear specifications. Her research results include powerful analysis, optimization, and implementation methods for complex problems that are specified using loops, sets, recursive functions, rules, and objects. The methods have been applied successfully to problems in hardware design, image processing, query processing, access control, combinatorial optimization, sequence processing, program analysis, trust management, and many other areas. Liu also has interests in database, security, embedded systems, and distributed systems. These include database query optimization, incremental database view maintenance, secure information flow analysis, trust management, worst-case execution time and space analysis, code generation for embedded systems, efficient property detection and enforcement for distributed systems, and systematic approaches to fault-tolerance. Liu has published over 50 refereed articles in major journals and conferences and taught 18 different courses in these areas. (631) , JOSEPH S.B. MITCHELL, Professor Ph.D. 1986, Stanford University Joseph S.B. Mitchell received a B.S. (1981) in Physics and Applied Mathematics and an M.S. (1981) in Mathematics from Carnegie-Mellon University. He received a Ph.D. (1986) in Operations Research from Stanford University while on a Howard Hughes Doctoral Fellowship and working at Hughes Research Labs. From 1986 to 1991, Mitchell served on the faculty of Cornell University. In 1991, he joined the faculty at Stony Brook, where he is Professor of Applied Mathematics and Statistics and Research Professor of Computer Science. Mitchell has received various research awards (NSF Presidential Young Investigator, Fulbright Scholar) and numerous teaching awards, including the President s and Chancellor s Awards for Excellence in Teaching. His primary research area is computational geometry, applied to problems in computer graphics, visualization, manufacturing, and geographic information systems. He also has interests in the study of algorithms, particularly approximation algorithms, network algorithms, and scheduling. Mitchell heads the Computational Geometry Lab, which is engaged in an active industrial outreach program of collaboration with industry and government labs on various applied projects. (631) , KLAUS MUELLER, Associate Professor Ph.D. 1998, Ohio State University Klaus Mueller s main research interests reside in the fields of computer graphics, scientific and information visualization, volume rendering, visual analytics and data mining, visual perception, virtual reality, medical imaging, computed tomography, scientific computing, and in the use of graphics hardware (GPUs) to accelerate computations in these domains. Mueller has received the National Science Foundation (NSF) CAREER Award in 2000 and the SBU-CS Graduate Teaching Award in He has joint appointments at Stony Brook s Departments of Biomedical Engineering and Radiology and is an affiliate member of the Center for Data Intensive Computing (CDIC) at Brookhaven National Laboratory. (631) ,

20 LUIS E. ORTIZ, Assistant Professor Ph.D. 2002, Brown University Luis E. Ortiz s main areas of research are artificial intelligence and machine learning, with additional interest in computational game theory, economics, probability, statistics, biology, and finance. Graphical models play a central role in his research. His goal is to solve problems in systems that arise from the complex interactions between a large number of individual entities (e.g., social networks, the Internet, markets, vaccination, protein-dna binding, and single- and multi-agent systems embedded in complex environments). Prior to joining Stony Brook, he was an Assistant Professor at the University of Puerto Rico, Mayagüez. He held a Postdoctoral Lecturer faculty position at the Massachusetts Institute of Technology (MIT), where he is still affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL). He was also a Postdoctoral Researcher at the University of Pennsylvania, and a Consultant in the Field of Artificial Intelligence and Machine Learning at AT&T Labs-Research. He received a Sc.M. and Ph.D. in Computer Science from Brown University and a B.S. in Computer Science from the University of Minnesota. He was a National Physical Science Consortium (NPSC) Ph.D. Fellow and an NSF Minority Graduate Fellow. (631) , THEO PAVLIDIS, Distinguished Professor Emeritus Ph.D. 1964, University of California, Berkeley Theo Pavlidis is a scientific advisor to Symbol Technologies. He was with Princeton University from 1964 to 1980 and AT&T Bell Labs from 1980 to 1986, and recently his general research interests have been in the areas of image analysis, pattern recognition, and computer graphics. His most recent research activities also include the areas of optical character recognition and related problems of document processing, bar-coding applications, and the development of programming tools for imaging and graphics under the X Windows System. He is the co-inventor of the 2-D bar-code PDF417. During his career, he has authored more than 150 technical papers and five books, including Algorithms for Graphics, Image Processing, Interactive Computer Graphics, and Fundamentals of X Programming. He also holds 12 patents on various aspects of bar coding and document analysis. He was the Editor-In-Chief of the IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI) from 1982 to 1986, and he has been a member of the editorial boards of many other journals. (631) , HONG QIN, Professor Ph.D. 1995, University of Toronto Hong Qin received his B.S. (1986) and M.S. (1989) degrees in Computer Science from Peking University in Beijing, China. He received his Ph.D. (1995) degree in Computer Science from the University of Toronto. In 1997, Qin received the National Science Foundation s CAREER Award. In December 2000, he received the Honda Initiation Grant Award. In February 2001, Qin was selected as an Alfred P. Sloan Research Fellow by the Sloan Foundation. In June 2005, Qin served as the general Co-Chair for Computer Graphics International 2005 (CGI 2005). He is an associate editor for IEEE Transactions on Visualization and Computer Graphics (IEEE TVCG), and also on the editorial board of The Visual Computer (International Journal of Computer Graphics) and Journal of Computer Science and Technology. He was the Conference Co-Chair for the ACM Solid and Physical Modeling Symposium in In 2008, he cochaired the ACM Symposium on Solid and Physical Modeling and IEEE International Conference on Shape Modeling and Applications. (631) ,

COMPUTER SCIENCE Computer science is a dynamically growing discipline. ABOUT THE PROGRAM The Department of Computer Science is committed to providing students with a program that includes the basic fundamentals

244 REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference

Master of Science in Computer Science Background/Rationale The MSCS program aims to provide both breadth and depth of knowledge in the concepts and techniques related to the theory, design, implementation,

Lecturer in the School of Computer Applications Job Description The School of Computer Applications is responsible for the disciplines of computing and quantitative methods within the University and has

Graduate Studies COMPUTER SCIENCE www.cs.dal.ca CREATE THE FUTURE Graduate studies in computer science at Dalhousie University immerse you in a vibrant learning environment at one of Canada s leading universities.

Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report

School of Computing FACULTY OF ENGINEERING MEng, BSc Applied Computer Science Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give a machine instructions

MASTER OF SCIENCE IN INFORMATION ASSURANCE PROGRAM DEPARTMENT OF COMPUTER SCIENCE HAMPTON UNIVERSITY HTTP://SCIENCE.HAMPTONU.EDU/COMPSCI/ The Master of Science in Information Assurance focuses on providing

Computer Science College of Engineering EDUCATION MAKE AN IMPACT As part of Kansas State University s College of Engineering, the Computer Science department is committed to offering high quality degree

School of Computing FACULTY OF ENGINEERING MEng, BSc Computer Science with Artificial Intelligence Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give

The Case for Support: The Center for Cyber Security Studies at the U. S. Naval Academy Computer and network security threats of the future are of concern today, and new strategies are required to ensure

305 REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference

Computer/Information Science Course Descriptions COMS 1003: Introduction to Computer Based Systems Provides students with both computer concepts and hands-on applications. Although little or no prior computer

299 REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference

Algorithms analysis and design(0102721). The course introduces students to a variety of computer problems and methods of their solutions. It enables students to assess the complexity of problems and algorithms.

REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference to

Computer Science Master of Science The Master of Science in Computer Science program at UALR reflects current trends in the computer science discipline and provides students with a solid theoretical and

College of Engineering Computing and Information Sciences EDUCATION MAKE AN IMPACT As part of Kansas State University s College of Engineering, the Department of Computing and Information Sciences is committed

M.S. Computer Science Program Pre-requisite Courses The following courses may be challenged by sitting for the placement examination. CSC 500: Discrete Structures (3 credits) Mathematics needed for Computer

315 REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference

Center for Information Security and Assurance (CISA) Charter Mathematical, Computing, and Information Sciences (MCIS) Department This charter establishes the Center for Information Assurance within the

118 Master of Science in Computer Science Department of Computer Science College of Arts and Sciences James T. Wilkes, Chair and Professor Ph.D., Duke University WilkesJT@appstate.edu http://www.cs.appstate.edu/

Purdue University Department of Computer Science West Lafayette, IN Strategic Plan 2010-2015 Final Version 5.0: May 3, 2010 Computer science is a discipline that involves the understanding and design of

BS in Computer Science Computers are behind most of the things that make the modern world fascinating, convenient and advanced; computer games and animations, special effects in movies, chat, social networking,

COMPUTER SCIENCE/ COMPUTER NETWORKING AND TECHNOLOGIES (COSC) Computer Science (COSC) courses are offered by the School of Information Arts and Technologies within the Yale Gordon College of Liberal Arts.

The Masters of Science in Information Systems & Technology College of Engineering and Computer Science University of Michigan-Dearborn A Rackham School of Graduate Studies Program PH: 313-593-5361; FAX:

Healthcare Industry Skills Innovation Award Proposal Hippocratic Database Technology Li Xiong, Emory University I propose to design and develop a course focused on the values and principles of the Hippocratic

Computer Science Student Handbook Classes of 2010 and Later Department of Computer Science Clarkson University March 18, 2014 Contents 1 Introduction 3 2 What s New? 3 3 The Four Options of the Major 3

The Masters of Science in Information Systems & Technology College of Engineering and Computer Science University of Michigan-Dearborn A Rackham School of Graduate Studies Program PH: 1-59-561; FAX: 1-59-692;

LONDON SCHOOL OF COMMERCE Programme Specification for the Cardiff Metropolitan University BSc (Hons) in Computing Contents Programme Aims and Objectives Programme Structure Programme Outcomes Mapping of

VeriLab THE VERIZON MASS MARKET BROADBAND SERVICES RESEARCH CENTER 1. What is the nature of this request: Describe your project and how it fits into the mission and goals of your proposal, being sure to

2015-16 www.cs.purdue.edu Courtesy Voicu Popescu 1 Lawson Computer Science Building 2 Lawson Commons The Lawson building was developed with multiple spaces 3 designed to foster collaboration and dialogue.

The University of Texas at San Antonio 1 Department of Computer Science The Department of Computer Science offers a Bachelor of Science degree in Computer Science and a Minor in Computer Science. Admission

Why Get an M.Eng. in CS or Anything Else? Prof. Charlie Van Loan CS M.Eng. Program Director Some Questions to Answer Do I need a fifth year? Is Entrepreneurship part of the deal? Is the MEng a stepping

2014-15 www.cs.purdue.edu Courtesy Voicu Popescu 1 Lawson Computer Science Building 2 Lawson Commons The Lawson building was developed with multiple spaces 3 designed to foster collaboration and dialogue.

Master s Degree Programs Global Technology Leadership Why BU? Consistently ranked among the most prestigious graduate engineering programs in the U.S. Study with the Best Work with renowned faculty and

Stanford University 1 COMPUTER SCIENCE Courses offered by the Department of Computer Science are listed under the subject code CS on the Stanford Bulletin's ExploreCourses web site. The Department of Computer

Computer Science Dr. Ilhyun Lee Professor Dr. Ilhyun Lee is a Professor of Computer Science. He received his Ph.D. degree from Illinois Institute of Technology, Chicago, Illinois (1996). He was selected

PhD in Computer Science at North Carolina A&T State University December 5, 2013 Contents Admission...1 Program Requirements...2 Course Work...2 Advisory Committee...2 Residency and Other Requirements...2

Division of Mathematical Sciences Chair: Mohammad Ladan, Ph.D. The Division of Mathematical Sciences at Haigazian University includes Computer Science and Mathematics. The Bachelor of Science (B.S.) degree

Final Assessment Report of the Review of the Cognitive Science Program (Option) July 2013 Review Process This is the second program review of the Cognitive Science Option. The Cognitive Science Program

Bachelor of Information Technology Detailed Course Requirements The 2016 Monash University Handbook will be available from October 2015. This document contains interim 2016 course requirements information.

Study Plan for the Bachelor Degree in Computer Information Systems The Bachelor Degree in Computer Information Systems/Faculty of Information Technology and Computer Sciences is granted upon the completion

The University of Jordan King Abdullah II School for Information Technology Department of Information Systems Master s Program in Information Systems 2006/2007 Study Plan Master Degree in Information Systems

Texas State University 1 Master of Science (M.S.), Major in Software Engineering Admission Policy For information regarding admission application requirements and deadlines, please visit The Graduate College

1. Introduction to ehealth: E-Health is one of the fastest growing areas within the health sector. The scope of e- Health involves application of the knowledge, skills and tools, which enable information