Fall 2018

Ph.D. Students


*
James Bannon
"TBD." 2023.

*
Abhinav Tamaskar
"TBD." 2020.

*
Ilya Korsunsky
"Survival Analysis Using Probabilistic Graphical Models and Probabilistic Causation with Applications to Cancer Genomics." 2017.

*
Justin Jee
"Malleability of Information in Genomes, Protein Translation, and Scientific Thought." 2015.

*
Andrew Sundstrom
"Toward a Computational Solution to the Inverse Problem of How Hypoxia Arises in Metabolically Heterogeneous Cancer Cell Populations," (pdf) 2013.

*
Loes Olde Loohuis
"Cancer Progression: Model, Therapy, Extraction," (pdf) 2013.

*
Pierre Franquin
"On Populations, Haplotypes and Genome Sequencing," (pdf) 2012.

*
Giuseppe Narzisi
"Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently," (pdf) 2011.

Samantha Kleinberg
"An Algorithmic Enquiry Concerning Causality," (pdf) 2010.

*
Antonina Mitrofanova
"Efficient Systems Biology Algorithms for Biological Networks over Multiple Time-Scales: From Evolutionary to Regulatory Time," (pdf) 2009.

*
Seongho Ryu
"Hypothesis Testing with Systems Biology and Evolutionary Models," (pdf) 2007.

*
Fang Cheng
"Statistical Approaches and Rich Probabilistic Models of Biological Regulation," (pdf) 2007.

*
Bing Sun
"Pairwise Comparison between Genomic Sequences and Optical-Maps," (pdf) 2006.

*
Ofer Gill
"Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA," (pdf) 2006.

*
Iuliana Ionita
"Multimarker Genetic Analysis Methods for High Throughput Array Data," (pdf) 2006.

*
Mysore Venkatesh
"Algorithmic Algebraic Model Checking: Hybrid Automata and Systems Biology," (pdf) 2006.

*
Yi (Joey) Zhou
"Statistical Analyses and Markov Modeling of Duplication in Genome Evolution," (pdf) 2005.

*
Toto Paxia
"Rapid Prototyping in Computational Biology:
Multi-scripting Environment, Free-format Databases, Data Manipulation Algorithms and Visualization Widgets in the Valis System
," (pdf) 2003.

*
Vera Cherepinsky
"On Mathematical Aspects of Genomic Computing," (pdf) 2003.

*
Raoul-Sam Daruwala
"On Computing the Pareto Optimal Solution in Large Scale Dynamic Network," (pdf) 2002.

*
William Casey
"Graph Embeddings with Application in Genomic Experiments," (pdf) 2002.

*
Gideon Berger
"Knowledge Discovery in Databases for Intrusion Detection, Disease Classification and Beyond," (pdf) 2001.

*
Amy Greenwald
"Learning to Play Network Games," (pdf) 1999.

*
Ron Even
"Distributed Intelligence with Bounded Rationality: Applications to Economies and Networks," 1998.

*
Laxmi Parida
"Algorithmic Techniques in Computational Genomics," (pdf) 1998.

*
Marek Teichman
"Grasping and Fixturing: a Geometric Study and an Implementation," (pdf) 1995.

*
Marco Antoniotti
"Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the Control-D System," (pdf) 1995.

*
Lars Ericson
"GEDANKEN: A Tool for Pondering the Intractability of the Correct Program Technology," (abstract) 1994.

*
Gilad Koren
"Competitive Real-time Scheduling," (pdf) 1993.

*
Christopher Fernandes
"NonHolonomic Motion Planning: Algorithms and Software," (abstract) 1993.

*
Naomi Silver
"Control of Dexterous Hands: Theory, Implementation and Experiments," (abstract) 1992.

*
Giovanni Gallo
"Complexity Issues in Computational Algebra," (abstract) 1992.

*
Paul Pedersen
"Counting Real Zeros," (abstract) 1991.

*
Anne Dinning
"Detecting Nondeterminism in Shared Memory Parallel Programs," 1990.

*
Lou Salkind
"SAGE: A Real-Time System for Robotic Supervisory Control," 1990.

*
Pasquale Caianiello
"Learning as the Evolution of Representation," 1989.

*
Dayton Clark
"Data Communication in Robot Control Systems," 1989.



For Postdocs, visitors, programmers, MS, undergrad and high school student, see the CV.