The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Theory / Algorithms

• « Older Entries
• Mor Harchol-Balter at Carnegie Mellon University (Computer Science Department)
  Keywords: Performance modeling; Queueing theory; Capacity provisioning; Power management in data centers; Energy / Response time tradeoffs; Distributed systems 10June, 2011
• Rajiv Joshi at T. J. Watson Research Center, IBM (Rt 134, Kitchwan Road, Yorktown Heights, NY)
  Keywords: Variability analysis for VLSI, Statistical methodology/algorithms for VLSI and non-VLSI applications, High performance and low power circuit techniques for sub-nanometer technologies. Modelling of alternate memory (PCM, MRAM) and scaling impacts. 30May, 2011
• Rafail Ostrovsky at UCLA (Los Angeles, California)
  Keywords: Cryptography; Streaming Algorithms; Routing and Network Algorithms; Metric Embeddings; Search and Classification Problems on High-Dimensional Data. 30May, 2011
• Hanan Samet at University of Maryland at College Park Institute for Advanced Computer Studies (College Park, Maryland)
  Keywords: Spatial Data Structures, Spatial Databases, Computer Graphics, Geographic Information Systems (GIS), Image Databases, Computer Vision, Visualization, Algorithms, Similarity Searching, Geographic Information Retrieval (GIR), Human Computer Interaction 28May, 2011
• Phillip Gibbons at Intel Labs (Pittsburgh, PA)
  Keywords: Cloud computing 27May, 2011
• Brighten Godfrey at University of Illinois at Urbana-Champaign (Urbana, IL)
  Keywords: networks, Internet architecture, algorithms, distributed systems 26May, 2011
• Claire Monteleoni at George Washington University, Department of Computer Science (Washington DC)
  Keywords: Machine learning, clustering, online learning, streaming clustering, Climate Informatics, learning theory, privacy-preserving machine learning, active learning, theory, optimization, randomized algorithms 25May, 2011
• Richard Cole at Courant Institute, New York University (New York City)
  Keywords: algorithmic economics, markets and equilibria 25May, 2011
• Ryan O'Donnell at Carnegie Mellon University, Computer Science Department (Pittsburgh, PA)
  Keywords: Analysis of Boolean functions, Approximability of optimization problems, Learning theory, Complexity theory, Property Testing, Probability 24May, 2011
• Tandy Warnow at University of Texas at Austin (Austin, TX)
  Keywords: Computational biology, computational historical linguistics, evolution, sequence alignment, metagenomics, statistical inference, algorithm design, combinatorial optimization 23May, 2011
• Yusu Wang at The Ohio State University (Columbus, Ohio)
  Keywords: Computational topology, computational geometry, shape analysis, geometric processing, graphics, visualization, manifold learning, computational biology. 21May, 2011
• Sergey Bereg at University of Texas at Dallas (Dallas, Texas, USA)
  Keywords: Computational Geometry, Computational Biology, Bioinformatics, Networks and Communications, Geographic Information Systems, Combinatorial Optimization, Facility Location, Pattern Matching 21May, 2011
• James Crutchfield at University of California at Davis (Davis, California)
  Keywords: Machine learning, physics of computation, evolutionary search, information theory, nonlinear dynamics, statistical mechanics, computational mechanics 20May, 2011
• Gil Alterovitz at Biomedical Cybernetics Lab at Harvard-MIT HS (Boston, MA)
  Keywords: bioinformatics, translational medicine, computational algorithm design for systems biology, network analysis, gene regulation, Bayesian statistics, machine learning, cancer, proteomics 18May, 2011
• Jason Kelly at Ginkgo BioWorks (Boston, MA)
  Keywords: Algorithms, CAD, comparative genomics, engineering organisms, genomics, metagenomics, synthetic biology 18May, 2011
• Manolis Kellis at MIT CompBio Group / CSAIL / Broad Institute (The MIT Stata Center, Cambridge, MA)
  Keywords: Genomics, Computational Biology, Epigenomics, Phylogenomics, Comparative Genomics, Gene Regulation, Population Genomics, Medical Informatics, Personal Genomes, Population Genomics, ENCODE/modENCODE, Integrative Genomics, Machine Learning 18May, 2011
• Chetan Gupta at Hewlett Packard Labs (United States)
  Keywords: Stream Data Mining, Event Analytics, Complex Event Processing, Algorithms, 15May, 2011
• Shankar Subramaniam at University of California at San Diego (UCSD, La Jolla, CA)
  Keywords: Bioinformatics, Computational Biology, Systems Biology and Medicine. 14May, 2011
• Vijaya Ramachandran at University of Texas (Austin, TX)
  Keywords: Algorithms and data structures; multicore computing; graph theory 13May, 2011
• Robert Pless at Washington University in St. Louis (Saint Louis, MO)
  Keywords: Computer Vision, Computational Geometry, Manifold Learning, Time-Lapse and High-Speed Video, Surveillance, Medical Imaging, Imaging for Environmental and Climate Change Analysis, Citizen Science, Collaborative Imaging. 13May, 2011
• Dimitris Papamichail at University of Miami (Miami, FL)
  Keywords: Bioinformatics, synthetic biology, computational biology, computational genomics, algorithm design, data structures, video streaming, grid computing. 13May, 2011
• Jeffrey Miller at University of Alaska, Anchorage (Anchorage, Alaska)
  Keywords: Intelligent Transportation Systems (ITS), algorithms (specifically graph algorithms), vehicular ad hoc networks (VANETs), software and network architectures 11May, 2011
• Ronald Fagin at IBM Almaden Research Center (San Jose, California)
  Keywords: applications of logic to computer science, database theory, rank aggregation, finite model theory 11May, 2011
• Vinod Namboodiri at Wichita State University (Wichita, KS)
  Keywords: Smart Grid, Energy Efficient Computing, Wireless Networks, Sustainability 10May, 2011
• Dan Roth at University of Illinois at Urbana/Champaign (Urbana, IL)
  Keywords: Machine Learning, Natural Language Processing, Information Extraction, Reasoning 10May, 2011
• Lydia Kavraki at Rice University (Houston, TX)
  Keywords: Robotics including motion planning, mobile manipulation, multi-robot systems, planning for high-level goals, and reasoning with sensing and control uncertainty. Computational biology with emphasis on the analysis of molecular flexibility and motion for drug design. AI, Machine Learning, Robotics Education, Physical Computing, Algorithms, Bioinformatics, Biomedical Informatics, Systems Biology. 9May, 2011
• Mikhail Belkin at Ohio State University (Columbsu, Ohio)
  Keywords: Machine learning, computational learning theory, manifold methods 9May, 2011
• Lenwood Heath at Virginia Tech (Blacksburg, VA)
  Keywords: Algorithms, computational biology, bioinformatics, graph theory, computational geometry, symbolic computation, text mining 9May, 2011
• Neha Rungta at NASA Ames Research Center (California, USA)
  Keywords: Software verification and validation, software testing, static and dynamic analysis, model checking, symbolic execution, incremental analysis, control-flow analysis, bug detection 7May, 2011
• Moshe Vardi at Rice University (United States)
  Keywords: database theory, logic and computation, formal methods, model checking, symbolic reasoning 7May, 2011
• Jehoshua (Shuki) Bruck at California Institute of Technology (Pasadena, CA)
  Keywords: Information theory, computation in biological systems, error correcting codes 6May, 2011
• Uzi Vishkin at Univ. of Md Institute for Advanced Computer Studies (UMIACS) (College Park, MD)
  Keywords: Parallel algorithms, compilers, architecture, application, education of parallelism, bioinformatics, machine learning, security, OS, and SW architectures. 6May, 2011
• Howie Choset at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: snake robots, search and rescue, medical robotics, pipe inspection, archeology, demining; motion planning, path planning, estimation, hybrid controls; gait learning, SLAM, coverage, mechanism design, dynamic climbing, multi-robot coordination. 6May, 2011
• Leonidas Guibas at Stanford University (Stanford, CA)
  Keywords: geometric algorithms, geometry processing, image, shape, and motion analysis, physical simulation, content creation and animation, sensor networks, social networks, machine learning 6May, 2011
• cruz Alfredo at Polytechnic University of Puerto Rico (San Juan, Puerto Rico)
  Keywords: Computer Security, Computer Forensics, Software Engineering, Software Testing 6May, 2011
• Andre Platzer at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Logic, Hybrid systems, Formal methods, Formal Verification, Cyber-physical systems, Embedded systems, Automated theorem proving, Model checking, Mobile Ubiquitous Embedded Computing, Programming Languages, Compilers Software Engineering 6May, 2011
• Jinbo Xu at Toyota Technological Institute at Chicago (Chicago, IL)
  Keywords: bioinformatics, computational biology, genomics, next-generation sequencing, protein sequence and structure analysis, network biology, protein interaction, machine learning, optimization algorithms, graph algorithms 5May, 2011
• Truong Nguyen at University of California, San Diego (UCSD) (San Diego, CA)
  Keywords: Video processing, image processing, filter banks and wavelets, image analysis and understanding, 3D - multiview signal processing, machine learning, signal processing for medical devices 5May, 2011
• Steven Skiena at Stony Brook University (Stony Brook, NY)
  Keywords: news/blog analysis, Web 2.0, sentiment analysis, social science research, social networks, natural language processing, NLP, Hadoop, Map-Reduce, data mining, visualization, synthetic biology, bioinformatics, computational biology, algorithm design 5May, 2011
• Allen Klinger at UCLA (Los Angeles CA)
  Keywords: Stochastic Control, Random Models, Pattern Analysis, Allocation, Image Analysis, Computers in Education and Society, Decision Theory, Data Structures, Algorithms, Biomedical Computing, Games, Human-Computer Interaction, Speech, Language. 5May, 2011
• David Pan at University of Texas at Austin (Austin, Texas)
  Keywords: Physical design automation, design for manufacturing, computational scaling, computational lithography, variation tolerant design, vertical integration of architecture/CAD/circuit/technology, design/automation of emerging technologies 5May, 2011
• Yuval Peres at Microsoft Research and the University of Washington, Seattle (Redmond, Washington and Seattle, Washington)
  Keywords: random structures, algorithmic game theory, optimization, MCMC 5May, 2011
• Chai Wah Wu at IBM T. J. Watson Research Center (Yorktown Heights, NY)
  Keywords: Complex networks, image processing, multimedia security, dynamical systems 5May, 2011
• Tom Cormen at Dartmouth College (Hanover, NH)
  Keywords: Algorithm engineering, parallel computing, speeding up computations with high latency, computer science writing. 5May, 2011
• Yan Zhao at HP Labs (Palo Alto, CA)
  Keywords: GPU computing, GUI development, molecular dynamics, quantum chemistry, materials modeling 5May, 2011
• Vishwanathan S V N at Purdue University (West Lafayette)
  Keywords: Machine Learning; Massive Data Analysis; Optimization; Algorithms; Kernels 5May, 2011
• Suresh Venkatasubramanian at University of Utah (Salt Lake City)
  Keywords: algorithms, computational geometry, data mining, shape matching, information theory, data integration, clustering, machine learning 5May, 2011
• Kenneth Sloan at UAB CIS (Birmingham, AL)
  Keywords: Graphics, Visualization, Image Analysis, Vision 28April, 2011
• Ben Raphael at Brown University (Providence, RI)
  Keywords: bioinformatics, computational biology, algorithms, genomics, medical applications 26July, 2010
• Sanjeev Khanna at University of Pennsylvania (Philadelphia, PA 19104)
  Keywords: Approximation algorithms; Hardness of approximation; Graph algorithms; Algorithmic game theory. 24May, 2010