The Computing Innovation Fellows Project

Mentors interested in:
Theory / Algorithms

• John Kececioglu at The University of Arizona (Tucson, AZ)
  Keywords: Computational biology and bioinformatics, algorithm design and implementation, combinatorial optimization. 1July
• 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
• 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
• Alexander Barg at University of Maryland (Washington, DC metro area)
  Keywords: Codes on graphs, fingerprinting, metrics on discrete spaces, semidefinite programming 10June
• Lydia Kavraki at Rice University (Houston, TX)
  Keywords: robot motion planning, hybrid systems, task planning, geometric computing, computational structural biology, bioinformatics 10June
• Manoj Prabhakaran at University of Illinois, Urbana-Champaign (Urabana, IL)
  Keywords: cryptography, security, encryption, multi-party computation, proof of security, computational complexity 9June
• Lisa Hellerstein at Polytechnic Institute of NYU (Brooklyn, NY)
  Keywords: Computational Learning Theory, Complexity Theory, Machine Learning, Algorithms, Boolean Functions 9June
• Xiaozhou (Steve) Li at HP Labs (Palo Alto, CA)
  Keywords: Storage systems, distributed computing, distributed systems 9June
• 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
• Yingbo Hua at University of California at Riverside (Riverside, CA)
  Keywords: sensing and wireless networking 8June
• Rahul Jain at University of Southern California (Los Angeles, CA)
  Keywords: Network Economics, Network Algorithms, Game Theory, Stochastic control and learning 8June
• 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
• 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
• Gordon Wilfong at Bell Labs (Murray Hill, NJ)
  Keywords: algorithms, network and graph algorithms, interdomain routing analysis, game theory, graph theory 8June
• 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
• 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
• Siwei Lyu at University at Albany, State University of New York (Albany, NY)
  Keywords: natural image statistics, graphical probabilistic models, low level computer vision, digital image forensics, machine learning 5June
• Mario Szegedy at Rutgers University (Piscataway, NJ)
  Keywords: complexity theory, hardness of approximation, quantum computing, geometry 5June
• 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
• Georgios Fainekos at NEC Labs / 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 5June
• Peter Feldmann at IBM TJ Watson Research (Yorktown Heights, NY)
  Keywords: Circuit simulation, Noise analysis, Timing analysis , Interconnect, Reduced Order Modeling, 5June
• Joseph Hellerstein at Google (Seattle, WA)
  Keywords: distributed scheduling, cluster management, machine learning and systems, performance modeling, control theory 5June
• 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
• Anna Lysyanskaya at Brown University (Providence, RI)
  Keywords: cryptography, cryptographic protocols, provable security 5June
• Vinod Namboodiri at Wichita State University (Wichita, KS)
  Keywords: Wireless Networks, MAC Protocols, Cognitive Radios, Energy Efficient Algorithms and Protocols 4June
• 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
• 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
• Matthew Andrews at Alcatel-Lucent Bell Labs (Murray Hill, NJ)
  Keywords: Algorithms, networking, network protocols, analysis of large networks, scheduling. 4June
• 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
• Gary Miller at Carnegie Mellon University (Pittsburgh, PA 15217)
  Keywords: keyword, keyword, keyword, ... 4June
• 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
• Jinbo Xu at Toyota Technological Institute at Chicago (Chicago, IL)
  Keywords: protein sequence alignment, homology search, protein threading, protein structure prediction, biological network alignment 3June
• Dmitri Krioukov at CAIDA/UCSD (San Diego, CA)
  Keywords: Networking, routing, Internet topology and evolution, complex networks, complex systems. 3June
• 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 3June
• T.S. Jayram at IBM Almaden Research Center (Washington, DC)
  Keywords: complexity theory, communication complexity, data streams, massive data sets, probabilistic databases 3June
• 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
• 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
• Neelesh Patankar at Northwestern University (Evanston, IL (Chicago suburb))
  Keywords: Aquatic locomotion, evolution, neuromechanics, animation, super-slippery surface, superhydrophobicity, Lotus effect. 2June
• 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
• Alexis Maciel at Clarkson University (Potsdam, NY)
  Keywords: computational complexity, circuit complexity, proof complexity, semigroup theory, SAT algorithms 2June
• 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
• Michael Mitzenmacher at Harvard University (Cambridge, MA)
  Keywords: randomized algorithms, network algorithms, information theory, Internet algorithms, hashing algorithms, coding theory, algorithm engineering 2June
• 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
• 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
• 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
• 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
• 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
• Emina Soljanin at Corporate Research Lab (Murray Hill, NJ)
  Keywords: coding theory, information theory, network coding, rateless coding, secrecy, quantum information 1June
• 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
• Tom Cormen at Dartmouth College (Hanover, NH)
  Keywords: Algorithm engineering, parallel computing, speeding up computations with high latency, computer science writing. 1June