Research Projects

Our goal is to investigate issues in shape-based retrieval and analysis of 3D models. As a first step, we have developed a search engine for 3D polygonal models. The main research issues are to develop effective shape representations and query interfaces.

The Internet Censorship lab (ICLab) is a research platform to enable researchers to study a broad class of online information controls (e.g., traffic differentiation, censorship, content modification).

The new era of large-scale experimental methods in molecular biology has transformed it into an information-based science, making bioinformatics an integral part of genomic research. The research focus of the Laboratory of Bioinformatics and Functional Genomics is the development of integrated computational and experimental technologies for the study of gene function and regulation in biological systems through analysis, modeling, and visualization of heterogeneous biological data. The is is a joint laboratory with the Department of Computer Science and the Lewis-Sigler Institute for Integrative Genomics.

This project investigates how to build an efficient, high-quality content-based similarity search engine for feature-rich (non-text) data, which has dominated the increasing volume of digital information. The research topics include sketch construction, indexing for similarity search, distance functions for different feature-rich data types, integration with attribute-based search tools, content-addressable and searchable storage system, and Memex systems. The current toolkit is used to construct search systems for four data types including audio recordings, digital photos, 3D shapes, and genomic micro-array data.

The CertiCoq project aims to build a proven-correct compiler for dependently-typed, functional languages, such as Gallina—the core language of the Coq proof assistant. A proved-correct compiler consists of a high-level functional specification, machine-verified proofs of important properties, such as safety and correctness, and a mechanism to transport those proofs to the generated machine code. The project exposes both engineering challenges and foundational questions about compilers for dependently-typed languages.

My group develops algorithms for a diverse set of problems in computational molecular biology. We are particularly interested in predicting specificity in protein interactions and uncovering how molecular interactions and functions vary across context, organisms and individuals. We leverage high-throughput biological datasets in order to develop data-driven algorithms for predicting protein interactions and specificity; for analyzing biological networks in order to uncover cellular organization, functioning, and pathways; for uncovering protein functions via sequences and structures; and for analyzing proteomics and sequencing data. An appreciation of protein structure guides much of our research.

The Seung Lab uses techniques from machine learning and social computing to extract brain structure from light and electron microscopic images.

Cryptocurrencies and blockchains

Data-driven approaches to Internet security and privacy

Structured decorative patterns are common ornamentations in a variety of media like books, web pages, greeting cards and interior design. Creating such art from scratch using conventional software is time consuming for experts and daunting for novices. We introduce DecoBrush, a data-driven drawing system that generalizes the conventional digital ``painting' concept beyond the scope of natural media to allow synthesis of structured decorative patterns following user-sketched paths. The user simply selects an example library and draws the overall shape of a pattern. DecoBrush then synthesizes a shape in the style of the exemplars but roughly matching the overall shape. If the designer wishes to alter the result, DecoBrush also supports user-guided refinement via simple drawing and erasing tools. For a variety of example styles, we demonstrate high-quality user-constrained synthesized patterns that visually resemble the exemplars while exhibiting plausible structural variations.

Enterprise and data-center networks

We are currently developing methods for performing epigenome-wide scans for association of methylation status with phenotypes of interest.

EyeWire is a game to map the brain from Seung Lab at MIT. Anyone can play and you need no scientific background. Over 130,000 people from 145 countries already do. Together we are mapping the 3D structure of neurons; advancing our quest to understand ourselves.

Fairness and ethics in computing

FCMA: Full Correlation Matrix Analysis of Human Brains

Programming language for software-defined networks

Scalable causal consistency for wide-area data replication

BISmark is the Broadband Internet Service Benchmark. It is a project led by Georgia Tech and the University of Napoli Federico II to develop an OpenWRT-based platform for performing measurements of ISP performance, as well as traffic inside the home. You can use BISmark to measure the performance of their ISP, visualize and monitor traffic patterns from your users and devices inside your home network, and manage your usage caps.

ImageNet is an image database organized according to the WordNet hierarchy (currently only the nouns), in which each node of the hierarchy is depicted by hundreds and thousands of images. Currently we have an average of over five hundred images per node. We hope ImageNet will become a useful resource for researchers, educators, students and all of you who share our passion for pictures.

Internet architecture