Recent Graduates
The department is proud to announce the following student's graduation plans:
Thesis-->
- Thesis:
Techniques for dealing with growing latencies to main memory. A methodology to decompose application access patterns by data structure; why such a decomposition is useful. A programmable prefetch engine at the level-2 cache that can generate
prefetches arbitrarily far ahead in the future without polluting the cache hierarchy. Compilation techniques to generate concise programs for this prefetch engine.
- Advisor:
Steve Keckler
- Expected graduation date:
December 2006
- Research interests:
Computer architecture, compilers, domain-specific languages
- Job preferences:
Tenure-track faculty positions, industry positions in research labs, as well as entrepreneurship
- Email address:
akkartik@cs.utexas.edu
- Thesis/Dissertation:
Semi-supervised Clustering: Incorporating Background Knowledge into Clustering
- Advisor(s):
Raymond Mooney
- Expected graduation date:
May, 2005, PhD
- Research interests:
Machine learning, data mining, bioinformatics, statistical pattern recognition
- Job preferences:
Tenure-track academic or research lab position
- Email address:
sugato@cs.utexas.edu
- Thesis/Dissertation:
Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms
- Advisor(s): Robert van de Geijn
- Expected graduation date: Summer 2006, PhD
- Research interests:
Scientific Computing, High Performance Computing,
Numerical Analysis and Formal Methods.
- Job preferences:
Academia or research lab
- Email address:
pauldj@cs.duke.edu
- Thesis/Dissertation:
Learnable Similarity Functions and Their Applications
- Advisor(s):
Raymond J. Mooney
- Expected graduation date:
May 2006
- Research interests:
Machine Learning and Data Mining
- Job preferences:
Tenure-track academia or research lab
- Email address:
mbilenko@cs.utexas.edu
- Thesis/Dissertation:
Intelligent Agents for Games and Simulators:
Creating Adaptive Teams with Guided Evolution
- Advisor(s):
Risto Miikkulainen
- Expected graduation date:
May 2006
- Research interests:
Intelligent agents, artificial neural networks, evolutionary algorithms, multi-agent systems, game applications of AI, measuring agent behavior
- Job preferences:
Academic research
- Email address:
bdbryant@cs.utexas.edu
- Thesis/Dissertation:
Modeling the self-organization of Color-selective neurons in the visual cortex.
- Advisor(s):
Risto Miikkulainen and Jim Bednar (University of Edinburgh) Co-chairs
- Expected graduation date:
June 2007
- Research interests:
Computational modeling of biological processes, and applying neural network methods to machine learning problems.
- Job preferences:
Post-docs and teaching/faculty positions.
- Email address:
judah@cs.utexas.edu
- Thesis/Dissertation:
Using Pattern Recognition for Generalization,
Induction, and Lemma Generation in Automated Theorem Proving
- Advisor(s):
J Moore
- Expected graduation date: Spring 2008
- Research interests:
Security, Reliability, Formal Methods, Automated Theorem Proving
- Job preferences:
Academic or Industrial Research
- Email address:
jderick@cs.utexas.edu
- Thesis/Dissertation:
Interpret Loosely Encoded Knowledge
- Advisor(s):
Bruce Porter
- Expected graduation date:
May 2006, PhD
- Research interests:
Knowledge based systems, natural language processing, question answering, web services, machine learning, data mining, neural evolution
- Job preferences:
Research labs, academia
- Email address:
jfan@cs.utexas.edu
- Thesis/Dissertation:
Expressiveness of answer set languages
- Advisor(s):
Vladimir Lifschitz
- Expected graduation date:
Spring or Fall 2006
- Research interests:
Artificial Intelligence (commonsense reasoning) and logic programming (answer set programming)
- Job preferences:
Academia, research labs
- Email address:
otto@cs.utexas.edu
- Thesis/Dissertation:
Algorithms and Heuristics for Combinatorial Optimization in Phylogeny.
- Advisor(s):
Vijaya Ramachandran, Tandy Warnow
- Expected graduation date:
May 2006, PhD
- Research interests:
Computional Biology, Phylogeny, Algorithms, Combinatorial Optimization.
- Job preferences:
Faculty position, post-docs, research labs
- Email address:
gsgk@cs.utexas.edu
- Thesis/Dissertation:
Design, Analysis, and Verification of Large-Scale
Polylingual Systems
- Advisor(s):
Don Batory and Dewayne E. Perry
- Expected graduation date:
July 2006
- Research interests:
Software engineering, specifically, software interoperability, program analysis and verification, and information security
- Job preferences:
Academia
- Email address:
gmark@cs.utexas.edu
- Thesis/Dissertation:
Large-Scale Clustering: Algorithms and Applications in Text Mining, Graph analysis and Bioinformatics
- Advisor(s):
Inderjit S. Dhillon
- Expected graduation date:
May 2006, PhD
- Research interests:
Data mining, machine learning, bioinformatics
- Job preferences:
Academia, industry
- Email address:
yguan@cs.utexas.edu
- Thesis/Dissertation:
Improving Program Locality on-the-fly
- Advisor(s):
Kathryn S McKinley
- Expected graduation date:
June 2006
- Research interests:
Programming languages and compiler optimizations. My current research focuses on developing new dynamic optimizations inside virtual machines for object-oriented languages like Java and C#. I have worked on compiler optimizations, dynamic profiling in managed runtimes, garbage collection algorithms, and cooperation between these components.
- Job preferences:
Academic faculty position or research position in an industrial research lab.
- Email address:
xlhuang@cs.utexas.edu
- Thesis/Dissertation:
Efficient and Effective Formal Verification
- Advisor(s):
E. Allen Emerson
- Expected graduation date:
May/Aug. 2006, PhD
- Research interests:
Model checking, formal verification, distributed computing, algorithms
- Job preferences:
Research & Development Lab or Product Group
- Email address:
subbuk@cs.utexas.edu
- Thesis/Dissertation:
Dispersability and Vulnerability Analysis of
Certificate Systems.
- Advisor(s):
Mohamed Gouda
- Expected graduation date:
May 2006, PhD
- Research interests:
System and Network Security, Fault-Tolerant Distributed Systems, Digital Rights Management
- Job preferences:
Academia or research lab
- Email address:
ejung@cs.utexas.edu
- Thesis/Dissertation:
Protection in Distributed, Decentralized Systems
- Advisor(s):
James C. Browne
- Expected graduation date:
December, 2006
- Research interests:
Security (particularly in systems with peer-to-peer interactions and distributed control), peer-to-peer computing, grid computing, and network protocols
Job preferences: Industry
- Email address:
kane@cs.utexas.edu
- Thesis/Dissertation:
Building and Maintaining Overlay Networks for
Bandwidth-Demanding Applications
- Advisor(s):
Simon Lam
- Expected graduation date:
August, 2005
- Research interests:
Network protocols, network signal processing, overlay networks, streaming media, congestion control
- Job preferences:
Academia or research lab
- Email address:
minskim@cs.utexas.edu
- Thesis/Dissertation A Theory for the Design and Analysis of Firewalls
- Advisor(s): Mohamed G. Gouda
- Expected graduation date:
Summer 2006, PhD
- Research interests:
Security issues in systems, networks, databases, and software. My special research interests are in intrusion prevention systems such as firewalls.
- Job preferences: Academia
- Email address:alex@cs.utexas.edu
- Thesis/Dissertation:
Algebraic Manipulations of Software Designs and Feature Oriented Programming
- Advisor(s):
Don Batory
- Expected graduation date:
August 2006, PhD
- Research interests:
Feature oriented programming, component based software engineering, software product-lines
- Job preferences:
Academia or industrial research
- Email address:
jliu@cs.utexas.edu
- Thesis/Dissertation:
Byzantine fault tolerant storage
- Advisor(s):
Dr. Lorenzo Alvisi
- Expected graduation date:
Summer 2006, PhD
- Research interests:
Fault tolerance and cooperative services
- Job preferences:
Academia, in a research-focused institution
- Email address:
jpmartin@cs.utexas.edu
- Thesis/Dissertation:
Design and Evaluation of a Technology-Scalable Architecture for Instruction-Level Parallelism
- Advisor(s):
Dr. Doug Burger
- Expected graduation date:
December 2006
- Research interests:
High performance computer architecture, processor microarchitecture, power-aware design, performance modeling, compilation for future architectures.
- Job preferences:
Full-time position with a CPU design team in the industry.
- Email address:
ramdas@cs.utexas.edu
- Thesis/Dissertation:
Artery-Vein Separation from 3D thoracic CTA Scans with Application to Pulmonary Embolus Detection
- Advisor(s):
Dr. Bajaj
- Expected graduation date:
December 23, 2006
- Research interests:
Volume Visualization and Medical Imaging
- Job preferences:
Academia or Industry
- Email address:
smpark@cs.utexas.edu or sangminpk@gmail.com
- Thesis/Dissertation:
Reinforcement Learning in High-Diameter Environments
- Advisor(s):
Kuipers, Miikkulainen
- Expected graduation date:
Summer 2006, PhD
- Research interests:
Machine Learning in Robotics, Cognitive Science, Cognitive Neuroscience
- Job preferences:
Research university faculty, research lab, postdoc, teaching faculty (in that order)
- Email address:
jp@cs.utexas.edu
- Thesis/Dissertation:
Randomness Extractors for Independent Sources and Related Problems.
- Advisor(s):
David Zuckerman
- Expected graduation date:
May 2007
- Research interests:
Theoretical Computer Science
- Job preferences:
I intend to apply for postdocs that start in the Fall of 2007. I'm also considering applying for Faculty positions, though I'm not sure if I will go through with applying for them this year.
- Email address:
arao@cs.utexas.edu
- Thesis/Dissertation:
Polymorphism and Technology Scalability for different types of parallelism
- Advisor(s):
Steve Keckler
- Expected graduation date:
May 2006, interviewing this spring
- Research interests:
Computer architecture, microarchitecture, VLSI,
compilers, and parallel system.
- Job preferences:Tenure-track assistant professor,Research Lab,Industry developer position
- Email address:
karu@cs.utexas.edu
- Thesis/Dissertation:
Improving Memory Disambiguation for High ILP Processors
- Advisor(s):
Doug Burger
- Expected graduation date:
Summer 2007
- Research interests:
Computer Architecture, Compilers, Distributed Computing
- Job preferences:
Academic Research, Industrial Research, Development
- Email address:
simha@cs.utexas.edu
- Thesis/Dissertation:
Biomolecular surfaces, docking and visualization
- Advisor(s):
Chandrajit Bajaj
- Expected graduation date:
Summer 2006
- Research interests:
Computational Biology, Modeling and Visualization, Scientific Computing
- Job preferences:
Tenure track, Assistant Professor position in a top research university
- Email address:
skvinay@cs.utexas.edu
- Thesis/Dissertation:
Exploiting Replicated Structure in Automated Program Verification.
- Advisor(s):
E. Allen Emerson
- Expected graduation date:
Spring/Summer 2007
- Research interests:
Program correctness in general, in particular formal
methods to achieve it, such as Model Checking, Theorem Proving, Program Analysis.
- Job preferences:
Tenure-track position at research university; research lab position; industry job related to verification.
- Email address:
wahl@cs.utexas.edu
- Thesis/Dissertation:
Evolutionary Function Approximation for Reinforcement Learning
- Advisor(s):
Peter Stone
- Expected graduation date:
May 2007
- Research interests:
Artificial intelligence, machine learning, reinforcement learning, neural networks.
- Job preferences:
Tenure-track faculty, postdoc, industry or government research lab
- Email address:
shimon@cs.utexas.edu
- Thesis/Dissertation:
Metric-distance Methods for Biological Sequence Analysis
- Advisor(s):
Daniel P Miranker
- Expected graduation date:
August 2006, PhD
- Research interests:
Computational biology, database, metric space indexing, large scale data mining
- Job preferences:No preference
- Email address:
xwj@cs.utexas.edu
- Thesis/Dissertation:
SDIMS: A Scalable Distributed Information Management System
- Advisor(s):
Mike Dahlin
- Expected graduation date:
May 2005, PhD
- Research interests:
Wide-area distributed systems, networks, and operating systems
- Job preferences:
Academic tenure-track faculty position and Research Labs
- Email address:
ypraveen@cs.utexas.edu
- Thesis/Dissertation:
Semantic Matching with Transformations and Its Applications
- Advisor(s):
Bruce Porter
- Expected graduation date:
Spring 2006 , PhD
- Research interests:
Knowledge based systems, knowledge representation, semantic matching, natural language
- Job preferences:
Academia and Research Labs
- Email address:
pzyeh@cs.utexas.edu
- Thesis/Dissertation:
Resource Bounds Security for Mobile Code
- Advisor(s):
Aloysius K. Mok
- Expected graduation date:
August 2005, PhD
- Research interests:
Software security, mobile computing security, programming languages, formal methods
- Job preferences:
Academia or research lab
- Email address:
jyu@cs.utexas.edu
- Thesis/Dissertation:
Image Processing/Analysis for Bio-Molecular
Structural Determination and Visualization
- Advisor(s):
Chandrajit Bajaj
- Expected graduation date:
May 2006, PhD
- Research interests:
Image Processing/Analysis; Computational Biology;
Pattern Recognition; Geometric/Physical Modeling and Simulations.
- Job preferences:
Assistant Professor
- Email address:
zeyun@cs.utexas.edu
- Thesis/Dissertation:
Protocol Design for scalable and reliable group rekeying
- Advisor(s):
Simon S. Lam
- Expected graduation date:
August 2005 , PhD
- Research interests:
Computer Networks, Internet security services, overlay networks, wireless sensor networks
- Job preferences:
Academia or research labs
- Email address:
zxc@cs.utexas.edu
