The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Theory / Algorithms

• « Older Entries

  Newer Entries »
• Edith Hemaspaandra at RIT, Department of Computer Science (Rochester, NY)
  Keywords: computational social choice, computational complexity, constraints 28April, 2010
• Chee Yap at Courant Institute, New York University (New York City)
  Keywords: exact numerical and algebraic computation, zero bounds, numerical computational geometry, nonrobustness issues, geometric processing, computational geometry, computer algebra, robust curves and surface computations, complexity theory for real computation. 28April, 2010
• Lane Hemaspaandra at University of Rochester, Department of Computer Science (Rochester, NY)
  Keywords: computational social choice, complexity theory, algorithmic game theory, complexity of voting and elections, multiagent systems, preference aggregation, election manipulation/bribery/control, semi-feasible algorithms, graph reconstruction 28April, 2010
• Olga Sergienko at GFDL/Princeton (Princeton, NJ)
  Keywords: glaciology, ice-sheet modeling 28April, 2010
• Jonathan Katz at University of Maryland (Washington, DC)
  Keywords: Cryptography, security, game theory 27April, 2010
• Ramesh Rao at University of California San Diego (Washington, DC)
  Keywords: Wireless Systems and Networks, Energy efficient algorithms and protocols, Resource management schemes, Medium Access Control, Cognitive Networking, Information Theory and Applications 25June, 2009
• Sonia Martinez at University of California, San Diego (La Jolla, CA 92093)
  Keywords: cooperative control, distributed algorithms, multi-agent systems, optimization, nonlinear control, geometric control 10June, 2009
• Alexander Barg at University of Maryland (Washington, DC metro area)
  Keywords: Codes on graphs, fingerprinting, metrics on discrete spaces, semidefinite programming 10June, 2009
• Manoj Prabhakaran at University of Illinois, Urbana-Champaign (Urabana, IL)
  Keywords: cryptography, security, encryption, multi-party computation, proof of security, computational complexity 9June, 2009
• Lisa Hellerstein at Polytechnic Institute of NYU (Brooklyn, NY)
  Keywords: Computational Learning Theory, Complexity Theory, Machine Learning, Algorithms, Boolean Functions 9June, 2009
• Xiaozhou (Steve) Li at HP Labs (Palo Alto, CA)
  Keywords: Storage systems, distributed computing, distributed systems 9June, 2009
• Nelly Fazio at City University of New York (City College & Graduate Center) (New York, NY)
  Keywords: Cryptographic Protocols and Provable Security, Content Protection and Forensics, Identity-Based Cryptography, Access Control, Zero Knowledge. 8June, 2009
• Yingbo Hua at University of California at Riverside (Riverside, CA)
  Keywords: sensing and wireless networking 8June, 2009
• Rahul Jain at University of Southern California (Los Angeles, CA)
  Keywords: Network Economics, Network Algorithms, Game Theory, Stochastic control and learning 8June, 2009
• Jack Lutz at Iowa State University (Ames, IA)
  Keywords: computational complexity, resource-bounded measure, algorithmic randomness, effective fractal dimensions, computable analysis, nanoscale self-assembly 8June, 2009
• Prakash Ishwar at Boston University (Boston, MA)
  Keywords: Network Information Theory, Communication Complexity Theory, Information-Theoretic Security, Video Analytics, Statistical Learning Theory, Multidimensional Signal Processing 8June, 2009
• Gordon Wilfong at Bell Labs (Murray Hill, NJ)
  Keywords: algorithms, network and graph algorithms, interdomain routing analysis, game theory, graph theory 8June, 2009
• Guofei (Geoff) Jiang at NEC Laboratories America, Princeton (Princeton, New Jersey)
  Keywords: distributed system & networks, performance, reliability & dependability, statistical learning & mining for large scale system management, next generation data center, cloud computing platform, virtualization and resource provisioning, power management 6June, 2009
• Yi-Jen Chiang at Polytechnic Institute of New York University (Brooklyn, New York)
  Keywords: scientific visualization, computer graphics, computational geometry, high-performance algorithms and data structures for large-scale problems. 6June, 2009
• Mario Szegedy at Rutgers University (Piscataway, NJ)
  Keywords: complexity theory, hardness of approximation, quantum computing, geometry 5June, 2009
• Yannis Kevrekidis at Princeton University, Chemical Engineering and PACM (Princeton, NJ)
  Keywords: dynamical systems, nonlinear dynamics, multiscale computation, equation-free computing, data mining, diffusion maps, pattern formation, instabilities, network dynamics, coarse graining, agent-based modeling 5June, 2009
• Peter Feldmann at IBM TJ Watson Research (Yorktown Heights, NY)
  Keywords: Circuit simulation, Noise analysis, Timing analysis , Interconnect, Reduced Order Modeling, 5June, 2009
• Joseph Hellerstein at Google (Seattle, WA)
  Keywords: distributed scheduling, cluster management, machine learning and systems, performance modeling, control theory 5June, 2009
• Yevgeniy Dodis at New York University (New York, NY)
  Keywords: Exposure-Resilient Cryptography, Cryptography and Imperfect Randomness, Cryptography with Biometrics and Other Noisy Data, Hash Functions, Information-Theoretic Cryptography, Hardness Amplification, Composition of Protocols 5June, 2009
• Anna Lysyanskaya at Brown University (Providence, RI)
  Keywords: cryptography, cryptographic protocols, provable security 5June, 2009
• Vladimir Zolotov at IBM T.J. Watson Research Center (Yorktown Heights, NY)
  Keywords: design automation, timing analysis, statistical timing, circuit analysis, circuit optimization, signal integrity, VLSI testing 4June, 2009
• Alexander Gray at Georgia Institute of Technology (Atlanta, GA)
  Keywords: machine learning, data mining, statistics, high dimensionality, massive datasets, optimization, algorithms, automated program synthesis, computational geometry, linear algebra, data-intensive/distributed computing, astrophysics, mass spec, SVMs 4June, 2009
• Matthew Andrews at Alcatel-Lucent Bell Labs (Murray Hill, NJ)
  Keywords: Algorithms, networking, network protocols, analysis of large networks, scheduling. 4June, 2009
• Chung-Kuan Cheng at University of California, San Diego (San Diego, CA)
  Keywords: circuit simulation, physical layout, high performance low power interconnect, power ground network and clock analysis and designs. 4June, 2009
• Gary Miller at Carnegie Mellon University (Pittsburgh, PA 15217)
  Keywords: keyword, keyword, keyword, ... 4June, 2009
• Manolis Kellis at MIT Computer Science and Artificial Intelligence Lab / Broad Institute of MIT and Harvard (Cambridge, MA)
  Keywords: Computational Biology, Genomics, Epigenomics, Regulatory Motifs, Regulatory Networks, BioInformatics, Cancer, Development, Small RNAs, Evolutionary Genomics, Phylogenomics, Phylogenetics, Comparative Genomics 4June, 2009
• Dmitri Krioukov at CAIDA/UCSD (San Diego, CA)
  Keywords: Networking, routing, Internet topology and evolution, complex networks, complex systems. 3June, 2009
• T.S. Jayram at IBM Almaden Research Center (Washington, DC)
  Keywords: complexity theory, communication complexity, data streams, massive data sets, probabilistic databases 3June, 2009
• Devasis Bassu at Applied Research, Telcordia Technologies Inc. (Piscataway, NJ)
  Keywords: data mining, network analysis, machine learning, fast algorithms, pattern detection, data representation, data fusion, text analysis, classification 3June, 2009
• Rocco Servedio at Columbia University (New York, NY)
  Keywords: computational learning theory, complexity theory, randomness in computation, property testing, Fourier analysis, communication complexity, lower bounds 3June, 2009
• Neelesh Patankar at Northwestern University (Evanston, IL (Chicago suburb))
  Keywords: Aquatic locomotion, evolution, neuromechanics, animation, super-slippery surface, superhydrophobicity, Lotus effect. 2June, 2009
• Sarma Vrudhula at Computer Science and Engineering, Arizona State University (Tempe, Arizona)
  Keywords: VLSI, CMOS, process variations, electronic cad, design automation, asynchronous/threshold logic, low power, energy/battery management, performance, power modeling, optimization, dynamic power management, dynamic thermal management, multi-core processors 2June, 2009
• Alexis Maciel at Clarkson University (Potsdam, NY)
  Keywords: computational complexity, circuit complexity, proof complexity, semigroup theory, SAT algorithms 2June, 2009
• Kannan Ramchandran at University of California at Berkeley (Berkeley, CA)
  Keywords: secure distributed networked storage, multi-user information theory, video-over-wireless, distributed signal processing and coding, network coding, peer-to-peer content delivery, wireless video camera networks, cognitive radio. 2June, 2009
• Michael Mitzenmacher at Harvard University (Cambridge, MA)
  Keywords: randomized algorithms, network algorithms, information theory, Internet algorithms, hashing algorithms, coding theory, algorithm engineering 2June, 2009
• appie van de Liefvoort at University of Missouri -- Kansas City (Kansas City, MO)
  Keywords: performance engineering, analytical and probabilistic process modeling, queueing theory, algorithms and their data structures, computer science education, applied stochastic processes. 2June, 2009
• Dimitrios Papavassiliou at The University of Oklahoma (Norman, OK)
  Keywords: turbulence DNS, turbulent dispersion, MOnte Carlo, nanoscale heat transfer, Lattice Boltzmann Methods, porous media, Lagrangian methods 1June, 2009
• Amit Sahai at UCLA (Los Angeles, CA)
  Keywords: cryptography, computational complexity, algorithms, security, error-correcting codes, zero knowledge, oblivious transfer, public-key encryption, secure computation, secure multi-party computation, bilinear maps, obfuscation, protocol composition 1June, 2009
• Jin-Yi Cai at University of Wisconsin-Madison (Madison, Wisconsin)
  Keywords: computational complexity theory, holographic algorithms and reductions, graph homomorphisms, dichotomy theorems, counting problems, CSP, holant problems. 1June, 2009
• Samuel Lomonaco at http://www.umbc.edu (Baltimore, MD)
  Keywords: Quantum Computation, Quantum Information Science, Quantum Algorithms, Topological Quantum Computing, Symbolic Computation, Differential Geometry, 3-manifolds, group representation theory, symbolic computation. 1June, 2009
• Emina Soljanin at Corporate Research Lab (Murray Hill, NJ)
  Keywords: coding theory, information theory, network coding, rateless coding, secrecy, quantum information 1June, 2009
• David Starobinski at Boston University (Boston MA)
  Keywords: Performance evaluation of communication networks, wireless spectrum management, network monitoring and security, high-performance networking for grid and cloud computing applications. 1June, 2009
• Do Young Eun at North Carolina State University (Raleigh, NC)
  Keywords: Stochastic Networks, Mobile Ad-Hoc Networks, Delay/disruption tolerant networks, mobility models, Network Theory, Peer-to-peer networks, congestion control, Resource allocation, Information spreading in mobile networks 30May, 2009
• Amit Chakrabarti at Dartmouth (Hanover, NH)
  Keywords: Complexity, communication complexity, data streams, lower bounds, algorithms, approximation 29May, 2009
• Michael Todd at Cornell University (Ithaca, NY)
  Keywords: convex optimization, interior-point methods, semi-definite programming 29May, 2009