$29

Formal Methods, Programming languages, Compilers, Computer Security

Computer game playing Programs

Software verification

Computational Complexity

Algorithms for problems under real-life assumptions

Game theory processing and machine learning in public data sets, information visualization

Visualizing and learning from public data sets

Sports analytics

Development of interesting mobile phone apps

Computer security and privacy; Internet software; technology law and policy

Technology for open government.

Computer security and privacy.

Digital media distribution

Copy protection and peer to peer technologies

Technology, society and public policy.

Formal methods, program analysis, logic decision procedures

Finding bugs in open source software using automatic verification tools

Software verification (program analysis, model checking, test generation)

Deep Learning, Machine learning, NLP

NP- complete problem

Experimental Algorithms

Designing Provable Algorithms for ML using MATLAB, Scipy,

Natural Algorithms, Computational Geometry,

Natural algorithms (flocking, swarming, social networks, etc).

Sublinear algorithms

Self-improving algorithms

Markov data structures

Software engineering; software engineering education.

Development of statistical and ML models for large scale data analysis

fMRI data analysis

genetic, epigenetic, and organismal data

medical data: EMRs, time series, longitudinal studies

Other: music, movie ratings, recipes, text

Statistical models for specific questions:

Causal inference and instrumental variable analysis

Model checking with posterior predictive checks

Inference of undirected network from observational and time-series data

Deep Learning

Tools for manipulating photos

Tools for analysing or manipulating recorded human speech.

Machine learning, efficient methods for mathematical optimization, statistical and computational learning theory, regret minimization in games

Implementation and algorithm engineering of learning methods.

Recommendation systems, matrix completion.

Optimization for deep learning.

Learning from missing and sparse data.

Sublinear optimization

Computer Architecture, security, performance

Containment-based approaches to security

Parallelism

Computer Vision, Machine Learning

3D Vision

Object recognition and action recognition

Deep Learning, autoML, meta-learning

Geometric reasoning, logical reasoning.

Natural Language Processing,

Developing parsers, part-of-speech taggers, morphological analyzers for underrepresented languages (you don't have to know the language to develop such tools!)

Quantitative approaches to theoretical linguistics questions

Extensions and interfaces for WordNet (English and WN in other languages),

Applications of WordNet(s), including

Foreign language tutoring systems

Spelling correction software,

Word-finding/suggestion software for ordinary users and people with memory problems

Machine Translation

Sentiment and Opinion detection

Automatic reasoning and inferencing

Distributed systems, security, networking

streaming data analysis, datacenter systems and networks, untrusted cloud storage and applications.

programming languages, program analysis, program verification, automated reasoning

Develop a practical algorithm for an intractable problem (e.g., by developing practical search heuristics, or by reducing to SAT, or by identifying a tractable sub-problem, ...).

Any interesting project related to programming languages or logic.