People and Researches. Искусственный интеллект Вычислительная биология Компьютерная архитектура и CБИСКомпьютерная архитектура и CБИС Компьютерная графика. - презентация

1 People and Researches

2 Искусственный интеллект Вычислительная биология Компьютерная архитектура и CБИСКомпьютерная архитектура и CБИС Компьютерная графика Сети Безопасность СУБД Математическое программирование Математический анализ Операционные системы Анализ производительности Разработка языков программирования Теоретические компьютерные науки Области исследований:

3 Computer Vision Group: Chuck Dyer, Shaohua Fan, Guodong Guo, Russell ManningChuck Dyer (Computer Vision) Robotics Lab: Vladimir Lumelsky, Nicola J. Ferrier (Assistant), Justin A. Borgstad, Jason Dykstra, Cecil Lozano, Chunmei Lu, Jeremiah J. Neubert, Luis A. Rodriguez, Ram Subramanian, John Zook (Robotics, Kinematics & Robotics Vision) Machine Learning and Data Mining: Mark Craven & Jeffrey Jackson (Machine Learing) Olvi Mangasarian & Glenn Fung (Data Mining & optimization) David Page (Data Mining & machine learning) Machine Learning Research Group: Jude Shavlik, Grace Wahba (Machine Learning) Группы людей, занимающихся разработками в области искуственного интеллекта:

4 В области теоретических компьютерных наук разработками занимаются: Eric Bach: 1) efficiently solving algebraic and number-theoretic problems 2) applying probability theory to the design and analysis of algorithms Deborah A. Joseph: 1) the study of structural properties of complexity classes 2) the design and analysis of algorithms for biological problems. Jin-Yi Cai: 1) computational complexity theory 2) global structures and relationships among complexity classes of LOGSPACE, P, NP

5 Разработки по теме вычислительной биологии и люди, занимающиеся ими Mark Craven: Machine Learning for Bioinformatics. What is it: 1. recognizing transcription control signals 2. assigning genes to operons 3. identifying expression relationships among genes Machine Learning for Information Extractio (developing automated methods that enable text sources to be better exploited for discovery and decision making in biomedical domains). Learning Comprehensible Models (extend the ability of various machine-learning algorithms to produce comprehensible models). Miron Livny:1)develop management and scheduling techniques that empower high throughput computing on 2)local and wide area clusters of distributively owned resources C. David Page: Data mining and machine learning, with applications to bioinformatics, chemoinformatics,and health sciences. George N. Phillips: Structure and dynamics of proteins, computational biology Jude W. Shavlik:Machine learning and datamining applied to biomedical tasks such as microarray ("gene chip") analysis and design, protein-structure determination, and information extraction from on-line biomedical text. Carolyn Allex (graduated July 1999) Mark Craven (graduated September 1996) Frank DiMaio Tina Eliassi-Rad (graduated August 2001) Eric Gutstein (graduated June 1993) Richard Maclin (graduated August 1995) Michael Molla Louis Oliphant David Opitz (graduated August 1995) Yue Pan Mark Rich Geoffrey Towell (graduated October 1991)

6 Компьютерная архитектура и CБИС, и кто этим занимается: James R. Goodman:High-performance computer architecture,memory systems,shared-memory multiprocessing,computers of the future Mark D. Hill:Computer architecture,parallel computing,memory systems,and performance evaluation Mikko H. Lipasti: Compiler optimization,runtime and operating systems,and the interaction of both with computer architecture. James E. Smith: Computer architecture, high performance processor and system implementations,instruction level distributed processing, co-designed Virtual Machines, trace processors, power efficient processors Gurindar S. Sohi: Computer architecture, parallel computing, memory systems and performance evaluation

7 На данном слайде представлены те, кто занимается базами данных: -web database systems and information integration -data mining -parallel database systems -scientific databases -visualization of large datasets -database performance David J. DeWitt - Database system _design_, implementation, and performance Jeffrey F. Naughton - Database Systems, Net Data _Management_ Raghu _Ramakrishnan_ - Mass Collaboration ++ Remzi H. Arpaci-Dusseau, Miron Livny and Marvin Solomon

8 Безопасность и криптография Eric Bach - Theoretical computer science, computational number theory, algebraic algorithms, complexity theory, cryptography, six-string automata Jin-Yi Cai, Professor - randomness in computation, computational complexity theory Deborah A. Joseph - Structural and applied complexity theory, computational biology, computational geometry, mathematical logic Dieter van Melkebeek - main research interest is computational complexity, including pseudo-randomness and derandomization, quantum computing, interactive proof systems, and structural complexity. I am also interested in cryptography, error correcting codes, algorithms, and dynamical systems Somesh Jha - security Miron Livny - High Throughput Computing, Visual Data Exploration, Experiment Management Environments, and Performance Evaluation Project Paradyn (Paradyn is a performance tool for large-scale parallel applications. By using dynamic instrumentation and automating the search for bottlenecks, it can measure long running applications on production-sized data sets): Barton P. Miller (Professor/Principle Investigator) Jeff Hollingsworth (Assoc. Professor - University of Maryland) Brandon Schendel

9 Thomas W. Reps - On generalized authorization problems Analysis of SPKI/SDSI certificates using model checking Typestate checking of machine code Safety checking of machine code Mary K. Vernon - Techniques for computer systems performance analysis, scalable content delivery, streaming media servers, networked system security, parallel/distributed applications and architectures, job scheduling Безопасность и криптография

10 Компьютерные сети Network & Storage Systems: Members: Paul Barford Andrea Arpaci-Dusseau Remzi Arpaci-Dusseau George Kola Wide Area Network Measurement: Members: Paul Barford Joel Sommers Jim Gast Hyungsuk Kim Internet Anomaly & Intrusion Detection: Members: Paul Barford Somesh Jha Amos Ron Dave Plonka Vinod Yegneswaran Jeff Kline Network Traffic Management: Members: Paul Barford Mary Vernon Dave Plonka Ana Bizarro Shilpi Agarwal

11 Компьютерная графика Main People: Michael Gleicher (My main technical interest over the past few has been computer animation. Specifically, the creation of motion for character animation by motion capture and motion editing) Stephen Chenney (Simulation Culling and Level-of-Detail, Directing Simulations for Animation, Cartoon Style Motion, Collision Intensive Rigid-Body Simulation Algorithms)

12

13

14

15