The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Theory / Algorithms

• « Older Entries
• 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
• Chandra Chekuri at University of Illinois, Urbana-Champaign (Urbana, Illinois)
  Keywords: Algorithms, combinatorial optimization, mathematical programming, approximation algorithms, graphs and networks, scheduling 22May, 2010
• Muthu Muthukrishnan at Rutgers University (Piscataway, NJ)
  Keywords: Algorithms, Mechanism Design and Game Theory, Internet Ads, Streaming. Databases. Economics. 22May, 2010
• Prasenjit Mitra at The Pennsylvania State University (State College, PA)
  Keywords: information extraction, information integration, information visualization 21May, 2010
• Xiaobai Sun at Duke University (Durham NC )
  Keywords: matrix theory and computation, large-scale scientific simulations, image data analysis, image reconstruction, algorithm-architecture co-design, mathematical software 21May, 2010
• Quentin Stout at University of Michigan (Ann Arbor, MI)
  Keywords: parallel computing, scientific computing, algorithms 21May, 2010
• Brighten Godfrey at University of Illinois at Urbana-Champaign (Urbana, IL)
  Keywords: networks, Internet architecture, algorithms, distributed systems 21May, 2010
• Thomas La Porta at Penn State University (Cambridge, MA)
  Keywords: Wireless networks, protocols, network algorithms, theory, network science 20May, 2010
• Walter Willinger at AT&T Labs-Research (Florham Park, NJ)
  Keywords: Internet measurement, network modeling, network science for the Internet 20May, 2010
• Rahul Jain at University of Southern California (Los Angeles, CA)
  Keywords: Networks, Economics, Game Theory, Statistical Learning, Queueing Theory, Networked Control 20May, 2010
• David Cowburn at Albert Einstein College of Medicine, Yeshiva University from 9/2010 (New York)
  Keywords: modeling of structure and dynamics in biology. Fast integration of NMR and other structural data into models by robust methods. 19May, 2010
• Ruhong Zhou at IBM Thomas J Watson Research Center (Yorktown Heights, NY)
  Keywords: High Performance Computing, Massively Parallel Programming, Computational Biology and Bioinformatics, Multiscale Modeling, Molecular Dynamics, Protein Science 18May, 2010
• Martin Fürer at Pennsylvania State University, Dept. of Computer Science & Engineering (University Park, PA (State College))
  Keywords: Approximation Algorithms, The Graph Isomorphism Problem, Algebraic Algorithms, Computational Complexity, Graph Algorithms, Fixed Parameter Tractable Problems, Computational Complexity 18May, 2010
• Adam Smith at Pennsylvania State University (University Park, PA)
  Keywords: privacy, confidentiality, cryptography, algorithms, information theory, coding, statistics 14May, 2010
• John Chuang at University of Californa, Berkeley (Berkeley, CA)
  Keywords: economics of computer networks, economics of information security, p2p, incentive-centered design, economics, public policy, ICTD 14May, 2010
• Jack Lutz at Iowa State University (Ames, IA)
  Keywords: computational complexity, resource-bounded measure, algorithmic randomness, effective fractal dimensions, computable analysis, nanoscale self-assembly 13May, 2010
• Jack Snoeyink at University of North Carolina at Chapel Hill (Chapel Hill, NC)
  Keywords: Computational Geometry, Structural Molecular Biology, Geographic Information Systems, Graphics Algorithms, Solid Modeling, Algorithm Engineering 13May, 2010
• Susanne Still at University of Hawaii at Manoa (Honolulu, HI)
  Keywords: Machine Learning, theory and applications. Information theory. Robotics. Neuroinformatics. 12May, 2010
• Steven Myers at Indiana University (Bloomington, Indiana)
  Keywords: Cryptography, Intersection of Complex Systems and Security, Novel attacks in Ubiquitous computing environments, Health Information Technology Security 11May, 2010
• Azer Bestavros at Boston University, Computer Science Department (Boston, MA)
  Keywords: Cloud Computing, Content Distribution Networks, Peer-to-peer Systems, Real-Time Systems, Cyber-Physical Systems, Network Science, Mechanism Design for Distributed Systems and Applications, Application of Formal Methods to Networked Systems. 10May, 2010
• Maria Florina Balcan at Georgia Institute of Technology (Altanta, GA)
  Keywords: Machine Learning, Algorithmic Game Theory, and Algorithms, as well as on the interactions between these areas and other areas of Computer Science and Economics. 10May, 2010
• Swarat Chaudhuri at Pennsylvania State University (University Park, PA)
  Keywords: Program analysis, Verification, Automated reasoning, Semantics, Mathematical analysis, Continuity, Calculus 10May, 2010
• Phillip Gibbons at Intel Labs (Pittsburgh, PA)
  Keywords: Parallel and distributed computing, flash-savvy algorithms and systems, bridging theory and systems 9May, 2010
• Anshul Gupta at IBM T.J. Watson Research Center (Yorktown Heights, NY)
  Keywords: Sparse Matrix Computations, Parallel Algorithms, Graph Algorithms, Scientific Computing, Solving Large Sparse Systems of Linear Equations, 9May, 2010
• Jeffrey Vitter at The University of Kansas (Lawrence, KS)
  Keywords: Massive data, external memory algorithms; compressed data structures; pattern matching; databases; data compression; machine learning and prediction; computational geometry; computational science; algorithm engineering; combinatorial optimization 8May, 2010
• Atri Rudra at University at Buffalo (Buffalo, NY)
  Keywords: Coding theory, List decoding, Data stream algorithms, Property Testing 6May, 2010
• Vijaya Ramachandran at University of Texas (Austin, TX)
  Keywords: Algorithms and data structures; multicore computing; graph theory 6May, 2010
• Georgios Fainekos at School of Computing, Informatics and Decision Systems Engineering, Arizona State University (Princeton, NJ / Tempe, AZ)
  Keywords: Cyber-Physical Systems, formal methods and logic, control theory and hybrid, embedded and real-time systems, robotics, unmanned aerial vehicles 6May, 2010
• Leonidas Guibas at Stanford University (Stanford, CA)
  Keywords: geometric algorithms, geometry processing, geometric modeling, physical simulation, computer graphics, computer vision, computational topology, sensor networks, mobile networks, data analysis 5May, 2010
• Rosario Gennaro at IBM T.J.Watson Research Lab (Hawthorne, NY)
  Keywords: Cryptography, Network Security, Encryption, Digital Signatures, Secure Protocols. 3May, 2010
• John Pestian at Cincinnati Children's Hospital Medical Center, University of Cincinnati (Cincinnati, Oh)
  Keywords: Natural language processing, clinical data, data mining, software engineering, computational linguistics, 3May, 2010
• Hoeteck Wee at Queens College & Graduate Center, CUNY (New York, NY)
  Keywords: cryptography 3May, 2010
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 2May, 2010
• Samuel Lomonaco at University of Maryland Baltimore County (UMBC) (Baltimore, MD)
  Keywords: Quantum Computation, Quantum Algorithms, Quantum Information Science, Quantum Entanglement, Quantum Measurement, Quantum Knots, Knot Theory 1May, 2010
• Alex Liu at Michigan State University (East Lansing, Michigan)
  Keywords: networking, security, algorithms, privacy, systems, Internet, measurement, protocol, performance, router design, policy, packet classification, firewall, TCAM optimization, packet processing. 1May, 2010
• Aarti Singh at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Statistical Inference and Machine Learning, Signal and Image Processing, Networked Systems, Bioinformatics, Wireless Communications and Sensor Networks 1May, 2010
• Mahesh Viswanathan at University of Illinois, Urbana-Champaign (Urbana, IL)
  Keywords: model checking, software verification, hybrid and embedded system verification, probabilistic system verification, logic, automata theory 30April, 2010
• Mor Harchol-Balter at Carnegie Mellon University, Department of Computer Science (Pittsburgh, PA)
  Keywords: Performance modeling of computer systems; Queueing Theory; Stochastic/Markov modeling; Scheduling in queues; Resource allocation/ capacity planning in server farms; Power Management in data centers; Scheduling for supercomputing centers. 30April, 2010
• Keigo Hirakawa at University of Dayton (Dayton, OH)
  Keywords: Signal/Image/Video Processing; Computer Vision; Statistics and Bayesian Analysis; Sensors; Color Science; Denoising; Estimation; Detection; Motion; Camera Systems; SAR; Multimedia; Wavelets; 29April, 2010
• Jared Saia at University of New Mexico (Albuquerque, NM)
  Keywords: anti-censorship, game theory, fault-tolerant computation, distributed algorithms, security, theory 29April, 2010
• Dan Spielman at Yale University (New Haven, CT)
  Keywords: Spectral Graph Theory, Graph Algorithms, Numerical Linear Algebra 29April, 2010
• Jenn Wortman Vaughan at UCLA (Los Angeles, CA)
  Keywords: machine learning, learning theory, economics, social networks, peer production, prediction markets, expert learning, adversarial learning, theory 29April, 2010
• Vinod Namboodiri at Wichita State University (Wichita, KS)
  Keywords: Wireless Networks, MAC Protocols, Cognitive Radios, Energy Efficient Algorithms and Protocols 28April, 2010
• Cristopher Moore at University of New Mexico (Albuquerque, NM)
  Keywords: quantum computation, phase transitions, random structures, social networks 28April, 2010
• Jason Morton at Pennsylvania State University (University Park, PA)
  Keywords: algebraic geometry, computational complexity, holographic algorithms, algebraic statistics 28April, 2010
• Tal Malkin at Columbia University (New York, NY )
  Keywords: cryptography, privacy, provable security 28April, 2010
• Anura Jayasumana at Colorado State University, Computer Networking Research Lab (Fort Collins, CO 80523, )
  Keywords: Sensor Networks, Computer Networks, Telecommunication Networks, Performance Modeling, High-Speed Networking, Hardware Testing, Testable Design 28April, 2010
• Chris Peikert at Georgia Institute of Technology (Atlanta, GA)
  Keywords: Cryptography, lattices, error-correcting codes, geometric algorithms, computational complexity 28April, 2010
• Michael Ferris at Computer Sciences Department, University of Wisconsin (Madison, WI)
  Keywords: Mathematical Programming, Modeling and Applications of Operations Research, Optimization in Medicine, Complementarity Problems, Grid Computation, Numerical Algorithms 28April, 2010