2005-2006

• June 21, 2006 - at 2:00p.m in Room 241 Hardymon Building
  High performance Multimedia service in next generation Networks
  Yi Cui (Vanderbilt University)
  Hosts: Profs. Zongming Fei and Ruigang Yang
  
  
• May 10, 2006 - at 2:00p.m in RGAN 202
  Towards Efficient Boolean Circuit Satisfiability Checking
  Ilkka Niemelä (Helsinki University of Technology)
  Host: Prof. Mirek Truszczynski
  
  
• April 5, 2006 - at 4p.m in RMB (CRMS) 323
  Software Requirements to Architecture
  Jane Cleland-Huang (DePaul University)
  Host: Prof. Jane Hayes
  
  
• March 27, 2006 - at 4p.m in RMB (CRMS) 323
  Discrete Bayesian Network Structure Search with an Application to Functional Magnetic Resonance Imaging Data
  John Burge(University of New Mexico)
  Host: Prof. Judy Goldsmith
  
  
• March 8, 2006 - at 4p.m in RMB (CRMS) 323
  Computational Complexity of Continuous Problems
  Henryk Wozniakowski(Columbia University and University of Warsaw)
  Host: Prof. Grzegorz Wasilkowski
  
  
• March 3, 2006 - at 4p.m in RMB (CRMS) 323
  Thacher Lectureship in Computer Science
  David Kirk (NVIDIA Corporation)
  Host: Prof. Ruigang Yang
  
  
• February 8, 2006 - at 4p.m in RMB (CRMS) 323
  Understanding the Function and Connectivity of Human Brain
  Jun Zhang (University of Kentucky)
  
  
• January 23, 2006 - at 11a.m in ASTeCC 149
  Introducing Processing into Computer Networks
  Tilman Wolf(University of Massachusetts Amherst)
  Faculty Candidate
  
  
• December 5, 2005 - at 4p.m in RGAN 202
  Sensitivity of best recovery in Sobolev spaces
  Marek A. Kowalski (Cardinal Stefan Wyszynski University in Warsaw)
  Host: Prof. Grzegorz Wasilkowski
  
  
• November 30, 2005 - at 4p.m Alltel Solutions Center (Hardymon, Room 100)
  Finite-State Methods in Natural Language Processing
  Lauri Karttunen (Palo Alto Research Center)
  Host: Prof. Raphael Finkel
  
  
• November 28, 2005 - at 4p.m ASTeCC 149
  Crossing Number versus Odd Crossing Number
  Mark Schaefer (Depaul University)
  Host: Prof. Judy Goldsmith
  
  
• November 17, 2005 - at 2:00p.m. in ASTeCC 149
  Exploiting Graph Locality in External-Memory Graph Search
  Eric Hansen (Mississippi State University)
  Host: Prof. Judy Goldsmith
  
  
• November 9, 2005 - at 4p.m in RGAN 202
  Numerical Integration in Thousands of Dimensions
  Frances Kuo (University of New South Wales)
  Host: Prof. Grzegorz Wasilkowski
  
  
• November 4, 2005 - at 4p.m in RMB (CRMS) 323
  Pose Invariant 3D Face Recognition
  Andreas Koschan (The University of Tennessee)
  Host: Prof. David Nister
  
  
• October 31, 2005 - at 4p.m in RGAN 202
  Software Engineering Standards: Confusion, confusion, confusion.
  Jeffrey M Voas (SAIC)
  Host: Prof. Jane Hayes
  
  
• September 28, 2005 - at 4p.m in RGAN 202
  The Java Eclipse Project
  Beth Tibbits (IBM Watson)
  Host: Prof. Alex Dekhtyar
  
  
• September 19, 2005 - at 4p.m in ASTeCC 149
  Designing a Publish-Subscribe Substrate for Privacy/Security in Pervasive Environments
  Lukasz Opyrchal (Miami University, Ohio)
  Host: Prof. Jerzy Wl Jaromczyk
  
  
• September 8, 2005 - at 3:30p.m in 800 Kentucky Utilities Building
  Scaling Up Sensing for Virtual Environments
  Greg Welch (The University of North Carolina at Chapel Hill)
  
  
  
• August 11, 2005 - at 11a.m in RMB (CRMS) 323
  Evidence Centered Design using Bayesian Networks
  Russell Almond (Educational Testing Services)
  Host: Prof. Judy Goldsmith
  
  

2004-2005

• April 13, 2005 - at 4p.m in ASTeCC 149
  There and Back Again
  Dave Pruett (Geocontrol Systems)
  Host: Prof. Jane Hayes
  
  
• April 6, 2005 - at 4p.m in Alltel Solutions Center (Hardymon, Room 100)
  Thacher Lectureship in Computer Science
  Ellen W. Zegura (Georgia Institute of Technology)
  Host: Prof. Ken Calvert
  
  
• March 7, 2005 - at 10a.m in Alltel Solutions Center (Hardymon, Room 100)
  Software Systems To Manage Large Networks: A Challenge And Opportunity
  Douglas Comer (Visiting Faculty, Cisco Systems)
  Host: Prof. Jim Griffioen
  
  
• February 28, 2005 at 4p.m in ASTeCC 149
  Thacher Lectureship in Computer Science
  Rina Dechter (University of California at Irvine)
  Hosts: Profs. Judy Goldsmith and Mirek Truszczynski
  
  
• February 18, 2005 - at 2:00p.m in RMB (CRMS) 323
  DETECTING INSIDER THREATS IN TRUSTED COMPUTING ENVIRONMENTS
  Kathryn Blackmond Laskey (George Mason University)
  Host: Prof. Judy Goldsmith
  
  
• February 4, 2005 - at 2:00pm, in Alltel Solutions Center (Hardymon, Room 100)
  Towards a Decision Query Language
  Jan Chomicki (University at Buffalo)
  Hosts: Profs. Alex Dekhtyar and Judy Goldsmith
  
  
• January 21, 2005 - at 2p.m, in RMB (CRMS) 323
  Taking the Initiative: How to Engage a Website in a Dialog
  Saverio Perugi (University of Dayton)
  Host: Prof. Judy Goldsmith
  
  
• November 22, 2004 - at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Formal Methods, the Very Idea, Some Thoughts
  Daniel M. Berry (University of Waterloo, Waterloo, Canada)
  Hosts: Profs. Alex Dekhtyar and Jane Hayes
  
  
• September 24, 2004 - at 4:00p.m. in RMB (CRMS) 323
  Art Inspired Computer Graphics and Visualization
  Baoquan Chen (University of Minnesota at Twin Cities)
  Host: Prof. Ruigang Yang
  
  
• September 15, 2004 - at 4:00p.m. in Alltel Solutions Center (Hardymon, Room 100)
  An Algebraic Approach to Minimal Cases in Computer Vision
  Henrik Stewenius (Lund Institute of Technology, Sweden)
  Host: Prof. David Nister
  
  

2003-2004

• April 26, 2004 - at 4:00p.m. in RMB (CRMS) 323
  LURCHing to find design defects
  Tim Menzies (NASA, Portland State University and West Virginia University)
  Host: Prof. Jane Hayes
  
  
• April 19, 2004 - at 4:00p.m. in RMB (CRMS) 309
  AI: The `Wife' of the 21st Century?
  Judy Goldsmith (University of Kentucky)
  
  
• April 15, 2004 - at 4:00 PM in Alltel Solutions Center
  Image Parsing by Data-Driven Markov Chain Monte Carlo
  Zhuowen Tu (UCLA)
  Faculty Candidate Colloquium
  
  
• April 12, 2004 - at 4:00p.m. in RMB (CRMS) 323
  Highly-Optimized Provably-Secure Cryptography
  John R. Black (University of Colorado, Boulder)
  Host: Prof. Andy Klapper
  
  
• April 8, 2004 - at 4:00 PM in Alltel Solutions Center
  Probabilistic Models and Novel Inference Algorithms for Computer Vision
  Romer Rosales (MIT)
  Faculty Candidate Colloquium
  
  
• April 6, 2004 - at 4:00 PM in Alltel Solutions Center
  An Architecture for Tetherless Computing
  S. Keshav (University of Waterloo)
  Host: Prof. Jim Griffioen
  
  
• March 25, 2004 - at 4:00p.m. in ASTeCC 149
  Face Processing for Effective Interaction: Face Analysis and Synthesis
  Zhen Wen (University of Illinois at Urbana-Champaign)
  Faculty Candidate Colloquium
  
  
• March 22, 2004 - at 4:00 PM in Alltel Solutions Center
  Request Redirection with Anypoint: Reconciling Anycast with Strong Transports
  Jeffrey S. Chase (Duke University)
  Host: Prof. Jim Griffioen
  
  
• March 4, 2004 - at 4:00p.m. in ASTeCC 149
  Visualization Using O-Buffers
  Huamin Qu (Stony Brook University)
  Faculty Candidate Colloquium
  
  
• February 16, 2004 - at 4:00p.m. in RMB (CRMS) 323
  Biomolecular computing
  Danny Van Noort (Princeton University)
  Host: Prof. Jerzy (Jurek) W. Jaromczyk
  
  
• February 2, 2004 - at 4:00p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Building Very Large Overlay Networks
  Jörg Liebeherr (University of Virginia, Charlottesville)
  Host: Prof. Jim Griffioen
  
  
• This talk has been Cancelled
  Request Redirection with Anypoint: Reconciling Anycast with Strong Transports
  Jeffrey S. Chase (Duke University)
  Host: Prof. Jim Griffioen
  
  
• January 22, 2004 - at 4:00p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Live Image-Based Estimation of Camera Motion with Applications to Navigation, Scene Reconstruction and Augmented Reality
  David Nister (Sarnoff Corporation)
  Faculty Candidate Colloquium
  
  
• December 10, 2003 - at 4:00p.m. in RMB (CRMS) 323
  Thacher Lectureship in Computer Science
  Rich Riesenfeld ( University of Utah)
  Host: Prof. Fuhua (Frank) Cheng
  
  
• November 25, 2003 - at 4:00p.m. in CB 110
  Life at Google
  Matt Cutts (Google, Inc)
  Host: Prof. Brent Seales
  
  
• November 14, 2003 - at 4:00p.m. in RMB (CRMS) 323
  Circular DNA Algorithms to solve NP-hard Problems
  Rani Siromoney (Madras Christian College and Chennai Mathematical Institute)
  Host: Prof. Judy Goldsmith
  
  
• November 10, 2003 - at 4:00p.m. in RMB (CRMS) 323
  Separation of Complexity Classes, Universal Languages and Diagonalization
  Jeffrey B. Remmel (University of California, San Diego)
  Host: Prof. Victor Marek
  
  
• October 31, 2003 - at 4p.m. in RMB (CRMS) 323
  Solving Elliptic Curve Discrete Logarithm Problems Using Weil Descent
  Andreas Stein (University of Illinois at Urbana-Champaign)
  Host: Prof. Andy Klapper
  
  
• October 22, 2003 - at 4p.m. RMB (CRMS) 323
  Using Virtual Pheromones to Disperse a Team of Miniature Robots
  Janice Pearce (Berea College)
  Host: Prof. Judy Goldsmith
  
  
• September 24, 2003 - at 9:30a.m. in Alltel Solutions Center (Hardymon, Room 100)
  SCHEDULING IN PACKET RADIO NETWORKS &
  DIGITAL MONEY MODEL AND MICROPAYMENT PROTOCOL FOR WIRELESS NETWORKS
  Jacek Wojciechowski (Warsaw University of Technology)
  Host: Prof. Mirek Truszczynski
  
  

2002-2003

• May 8, 2003 - at 4:00p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Dynamic Scene Analysis and Inference
  Amit K. Roy Chowdhury ( University of Maryland)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• May 2, 2003 - at 4:00p.m. in RGAN 202
  Building a 3D Range Capture System
  A word document of abstract with pictures is here
  Lars S. Nyland (University of North Carolina at Chapel Hill)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• April 25, 2003 - at 4p.m. in RMB 323
  Thacher Lectureship in Computer Science
  Karem A. Sakallah (University of Michigan)
  Host: Prof. Mirek Truszczynski
  
  
• April 21, 2003 - at 3:30p.m. in RMB 323
  Nonrigid Motion Analysis and Applications to Interdisciplinary Projects in Medical Diagnostics and Intuitive Data Exploration
  Leonid Tsap (UC Lawrence Livermore National Laboratory)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• April 18, 2003 - at 4p.m. in ASTeCC 149
  Robotic Teaching System: 3D vision model acquisition through human-computer interaction
  Yuichi Motai (Purdue University)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• April 10, 2003 - at 4p.m. in ASTeCC 149
  Research Focus on Medical Visualization and Medical Imaging
  Wenli Cai (Viatronix Inc)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• April 9, 2003 - at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  3D Tele-Presence: A Research Progress Report
  Herman Towles (University of North Carolina - Chapel Hill)
  Host: Prof. Brent Seales
  
  
• March 27, 2003 - at 4p.m. in RMB 323
  View-dependent Space Carving C A Physically-based approach for 2D View Synthesis
  Ruigang Yang (University of North Carolina - Chapel Hill)
  Hosts: Profs. Chris Jaynes and Brent Seales
  
  
• March 10, 2003 - at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  End-User "Software Engineering" in the Spreadsheet Paradigm
  Gregg Rothermel (Oregon State University)
  Host: Prof. Jane Hayes
  
  
• February 11, 2003 - at 4p.m. in ASTeCC 149
  Sensitivity of optimal recovery
  Marek A. Kowalski (Cardinal Stefan Wyszynski University in Warsaw)
  Host: Prof. Grzegorz Wasilkowski
  
  
• January 31, 2003 - at 4p.m. in ASTeCC 149
  Enumeration Of Bipartite Graphs
  E. Rodney Canfield (The University of Georgia)
  Host: Prof. Victor Marek
  
  
• January 17, 2003 - at 4p.m. in RMB 323
  Value-Directed Compression of POMDPs (Partially Observable Markov Decision Processes)
  Pascal Poupart (University of Toronto)
  Host: Prof. Judy Goldsmith
  
  
• December 11, 2002 - at 3:30 p.m. in RMB 323
  Bounded Model Checking with Stable Models
  Ilkka Niemela (Helsinki University of Technology)
  Host: Prof. Mirek Truszczynski
  
  
• November 20, 2002 - at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Parnas's Criteria for Decomposing Systems into Modules. A new view on a golden-oldie paper
  Daniel M. Berry (University of Waterloo, Waterloo, Canada)
  Host: Prof. Jane Hayes
  
  
• November 15, 2002. at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  Beyond Perspective
  Steve Seitz (University of Washington)
  Host: Prof. Brent Seales
  
  
• October 25, 2002 - at 4p.m. in Alltel Solutions Center (Hardymon, Room 100)
  stgui - A Tool for Generating Symbolic Test Cases and Oracles
  Duncan Clarke (University of South Carolina)
  Host: Prof. Brent Seales
  
  
• October 14, 2002.- at 4p.m. in ASTeCC 149
  An SVD-Based Phylogenetic Method for Creating Comprehensive Whole Genomes
  Michael W. Berry (The University of Tennessee)
  Host: Prof. Jun Zhang
  
  
• October 9, 2002.- at 4p.m. in ASTeCC 149
  A Stochastic Grammar System to Model RNA Pseudoknotted Structures
  Liming Cai (The University of Georgia)
  Host: Prof. Judy Goldsmith
  
  
• September 9, 2002- at 4p.m. in ASTeCC 149.
  Checking Properties of Multi-Agent Systems Behavior
  Michael Dekhtyar(Tver State University, Russia)
  Host: Prof. Alex Dekhtyar
  
  

2001-2002

• April 22, 2002- 4p.m. ASTeCC 149.
  Optimal on-line coloring of circular arc graphs.
  Professor Maciej Slusarek (University of Kentucky)
  
  
• April 12, 2002- 4p.m. Hardymon - Verizon Room
  Using Service Specific Proxies to migrate web services to the "Wireless Web": an illustrative case study of Adaptive Maintenance
  Professor Warren Harrison (Portland State University)
  
  
• April 11, 2002 - 11a.m. Hardymon - Verizon Room
  Asking the Big Questions
  Prof. Greg Speegle (Baylor University)
  
  
• March 26, 2002- 4p.m. Hardymon - Verizon Room
  Why Testing Under Expected Operational Scenarios is Not Sufficient
  Dr. Jeffrey Voas (Co-founder and Chief Scientist, Cigital)
  
  
• February 25, 2002- 4p.m. ASTeCC 149
  Thacher Lectureship in Computer Science
  Dr. Bart Selman (Cornell University)
  
  
• January 30, 2002- 4p.m. ASTeCC 149
  Algorithms in Decision-Theoretical Planning
  Dr. Weihong Zhang (Washington University in St Louis)
  
  
• January 14, 2002- 4p.m. ASTeCC 149
  Advanced Query Optimization Techniques for Heterogeneous Databases
  Dr. Fatma Ozcan (IBM Almaden Research Cente)
  
  
• November 26, 2001- 4p.m. ASTeCC 149
  Very Nearly Deterministic Planning
  Dr. Terran Lane (MIT)
  
  
• November 20, 2001 - 1p.m. Hardymon - Verizon Room
  The Network Processing Revolution
  Dr. Todd Anderson (Intel Communications Architecture Lab)
  
  
• November 19, 2001 - 2:30p.m. Hardymon - Verizon Room
  COTS integration models and their empirical validation
  Dr. Daniil Yakimovich (University of Maryland)
  
  
• November 16, 2001 - 11a.m. Hardymon - Verizon Room
  Ubiquitous Network Services
  Professor Peter Steenkiste (Carnegie Mellon University)
  
  
• November 12, 2001 - 4p.m. ASTeCC 149
  An Algebraic Approach to Collision Detection for Moving Ellipses
  Dr. Wenping Wang (University of Hong Kong)
  
  
• November 5, 2001 - 4p.m. ASTeCC 149
  Recognizing primes and RSA moduli
  Professor Ian F. Blake (University of Toronto)
  
  
• October 26, 2001 - 4p.m. ASTeCC 149
  Using XML to Test Web Software Services
  Professor Jeff Offutt (George Mason University)
  
  
• October 19, 2001 - 11a.m. Hardymon Bldg. Verizon Room
  Wireless Networks without infrastructure
  Professor Henning G. Schulzrinne (Columbia University)
  
  
• September 17, 2001 - 4p.m. ASTeCC 149
  High Order Numerical Methods for Hyperbolic Problems
  Professor Chi-Wang Shu (Brown University)
  
  

2000- 2001

• February 19, 2001 - 4p.m. ASTeCC 149
  IMPACT: Interactive Maryland Platform for Agents Collaborating Together
  V.S. Subrahmanian (University of Maryland)
  
  
• January 17, 2001 - 4p.m. ASTeCC 149
  Probe Order Backtracking
  Paul W. Purdom Jr.(Indiana University)
  
  
• November 20, 2000 - 2 p.m. ASTeCC 149
  The Differential Scheme
  Prof. Howard Blair (Syracuse University)
  
  
• November 17, 2000 - 3 p.m. ASTeCC 149
  Query Control Techniques for On Demand Protocols in Mobile Ad Hoc Networks
  Prof. Samir R. Das (University of Cincinnati)
  
  
• November 13, 2000 - 11 a.m. ASTeCC 149
  The Logic of Norms and the Regulation of Electronic Societies
  Prof. Marek Sergot (Imperial College, London)
  
  
• November 10, 2000 - 3 p.m. ASTeCC 149
  Fault Tolerant Authentication in Mobile Computing
  Prof. Bharat K Bhargava (Purdue University)
  
  
• November 3, 2000 - 3 p.m. ASTeCC 149
  Theory Revision with Queries
  Prof. Robert Sloan (University of Illinois at Chicago)
  
  
• October 16, 2000 - 2 p.m. ASTeCC 149
  Scientific Computing at NERSC
  Dr. Esmond G. Ng (Lawrence Berkeley National Laboratory)