Skip navigation

Daniel Felix Ritchie School of Engineering & Computer Science Department of Computer Science

Computer Science

Seminar Series

The Computer Science Seminar Series in the Department of Computer Science at University of Denver is an avenue for student and faculty to listen to distinguished speakers working in diverse areas of Computer Science from the academia and the industry. This is also a platform to engage in constructive discussions and present ongoing research efforts in the department.

Talks are usually in Aspen Hall North 026 on a Friday, at 1:00PM, unless noted otherwise in the schedule below. Please contact Ramki Thurimella for any questions regarding the series.

2013 - 2014

Dr. Richard Korf

Sept 13,  2013
JGH 216
1:00 - 2:00 PM

PhotoDepartment of computer science at the University of California, Los Angeles
www.cs.ucla.edu/~korf


Subset Sum, Number Partitioning, and Bin Packing

Dr. Manav Misra

Sept 27,  2013
JGH 216
1:00 - 2:00 PM

PhotoChief Knowledge Officer/Chief Science Officer
http://www.cognilytics.com/


Bank Stress Testing using Hadoop and SAP HANA: A Big Data, Big Computation problem

Industry Day

October 4, 2013
11:00 AM - 4:00 PM

Photo Department of Computer Science
Cable Event Center
http://cs.du.edu


Registration

Dr. Adriana Suarez Corona

October 11,  2013
JGH 216
1:00 - 2:00 PM

PhotoDepartment of Mathematics at the University of Denver
Website


Group Key Establishment: Adding Perfect Forward-Secrecy at the Cost of One Round

Graduate Research Day

October 18, 2013
1:30 PM - 5:00 PM

Photo Department of Computer Science
University of Denver
http://cs.du.edu




Dr. Sriram Sankaranarayanan

October 25,  2013
JGH 216
1:00 - 2:00 PM

PhotoAssistant Professor, Department of Computer Science, University of Colorado Boulder
http://www.cs.colorado.edu/~srirams/


Optimal Falsifications for Cyber-Physical Systems using Trajectory Splicing

Dr. Pankaj Goyal

November 1,  2013
JGH 216
1:00 - 2:00 PM

PhotoCloud Computing Security
URL will be provided


Cloud Computing Security - a listing of some issues and a conceptual design that provides improved security.

Dr. Tracy Camp

November 8,  2013
JGH 216
1:00 - 2:00 PM

PhotoFull Professor of Computer Science at the Colorado School of Mines
http://inside.mines.edu/~tcamp/


SmartGeo: Toward the Development of Intelligent Geosystems

Dr. Tom Wrensch

January 24,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoGoogle Software Engineer
http://google.com


Working with Large Codebases

Dr. Dejun Yang

February 7,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssistant Professor of Computer Science in the Department of Electrical Engineering & Computer Science at Colorado School of Mines
http://inside.mines.edu/~djyang/


Crowdsourcing to Smartphones: Incentive Mechanism Design for Crowdsensing

Dr. Tam Vu

February 14,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssistant Professor Department of Computer Science and Engineering University of Colorado Denver
http://cse.ucdenver.edu/~tamvu/


A single tap is all you need for authentication

Dr. Paul Horn

February 21,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssistant Professor.
Math Department at DU


3D floorplanning and tree representations.

Dr. Andrzej Szymczak

February 28,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssistant Professor in the Department of Electrical Engineering and Computer Science at Colorado School of Mines.
http://inside.mines.edu/~aszymcza/


Robust algorithms for vector field topology

Dr. Ken Anderson

March 7,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssociate Professor of the Department of Computer Science at the University of Colorado Boulder.
http://www.cs.colorado.edu/~kena/


Big Data Crisis Informatics: Challenges in Software Design, Data Modeling, and Analysis.

Scott Gilpin

April 11,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAlgorithms Development Google.
Google.com


Algorithms for Online Advertising

Dr. Hua Wang

April 18,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssistant Professor in the DEE and CS at Colorado School of Mines.
http://inside.mines.edu/~huawang


Discovering Putative Protein-Protein Interactions via Robust Low-Rank Matrix Completion.

Dr. Qing Yi

April 25,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssociate professor of Computer Science at the University of Colorado Colorado Springs.
http://www.cs.uccs.edu/~qyi/


Optimizing Compilers For Sustained High Performance Computing.

Dr. Nathan Sturtevant

May 9,  2014
Aspen Hall North 026
1:00 - 2:00 PM

PhotoAssociate professor of Computer Science at the University of Denver.
http://cs.du.edu/~sturtevant/


Bloom Filter Compression of Pattern Databases.

2012 - 2013

Dr. Nathan Sturtevant

September 21, 2012
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
University of Denver
http://www.cs.du.edu/~sturtevant


Parallelizing External Memory Search

Guni Sharon

September 28, 2012
JGH 216
3:00 - 4:00 PM

Photo ISE Department
Ben-Gurion University, Israel
gunisharon@gmail.com


Multi-Agent Pathfinding: Challenges and Solutions

Graduate Research Day

October 5, 2012
1:30 PM - 5:00 PM

Photo Department of Computer Science
University of Denver
http://cs.du.edu




Baird Ramsey

October 12,  2012
JGH 216
3:00 - 4:00 PM

Photo Google, Boulder
https://plus.google.com



Software Testing

Dr. Ross McConnell

October 19, 2012
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
Colorado State Universtiy
http://www.cs.colostate.edu/~rmm/


Position Heaps: A Simple and Dynamic Text Indexing Data Structure

Jim McMaster

November 2,  2012
JGH 216
3:00 - 4:00 PM

Photo Google, Boulder
https://plus.google.com


Software Engineering in the Wild

Dr. Hyunsook Do

November 9,  2012
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
North Dakota State University
http://www.cs.ndsu.nodak.edu/~hdo/


Context-aware Regression Testing Techniques and Empirical Evaluations of Their Economic Impact

Raphael Ernst

November 16,  2012
JGH 216
3:00 - 4:00 PM

Photo Institute of Computer Science
University of Bonn, Germany
http://net.cs.uni-bonn.de


MANET Neighborhood Maintenance

Jacob Torrey

January 18,  2013
JGH 216
3:00 - 4:00 PM

Photo Assured Information Security, Inc., Denver
http://www.linkedin.com/in/jacobtorrey


Security in the Intel Architecture

Dr. Steven Simske

January 25, 2013
JGH 216
3:00 - 4:00 PM

Photo Hewlett-Packard, Fort Collins
http://www.hpl.hp.com


Authentication and tracking of the person in the online age

Dr. Andreas Stefik

February 15,  2013
JGH 216
3:00 - 4:00 PM

Photo Southern Illinois University Edwardsville
http://www.cs.siue.edu/~astefik


An Empirical Investigation on Programming Language Syntax

Dr. Michael Buro

February 22,  2013
JGH 216
3:00 - 4:00 PM

Photo University of Alberta, Canada
https://skatgame.net/mburo/


World's best Skat playing program

Dr. George Bell

March 1,  2013
JGH 102
3:00 -4:00 PM

Photo Tech-X Corp., Boulder, CO
http://home.comcast.net/~gibell/


Analyzing peg jumping puzzles and games

Prasad Annadata and Wisam Eltarjaman

April 5,  2013
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
University of Denver



Privacy in Mobile Local Search

Dr. Robert France

April 12,  2013
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
Colorado State University, Fort Collins, CO
http://www.cs.colostate.edu/~france/


Model Driven Software Development in Practice: Where's the friction?

Prof. Bernhard Rumpe

April 19,  2013
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
RWTH Aachen University, Germany
http://www.se-rwth.de/~rumpe/

Agile Model Based Software Development

CRISP Workshop on Information Security and Privacy

April 26, 2013
Friday
Ritchie Center
8:30 AM - 4:00 PM

Photo Department of Computer Science
University of Denver


More information

William Mitchell and Max Roschke

May 3,  2013
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
University of Denver



Private Record Linkage

Dr. Chuan Yue

May 10,  2013
JGH 216
3:00 - 4:00 PM

Photo Department of Computer Science
University of Colorado, Colorado Springs
http://www.cs.uccs.edu/~cyue/


All Your Browser-saved Passwords Could Belong to Us: A Security Analysis and a Cloud-based New Design

David Willson

May 17,  2013
JGH 216
3:00 - 4:00 PM

Photo Titan Info Security Group, LLC
www.titaninfosecuritygroup.com


Cyber War or Cyber Cold War

2011 - 2012

Dr. Rinku Dewri

October 28, 2011
JGH 316
2:00 - 3:00 PM

Photo Department of Computer Science
University of Denver
http://www.cs.du.edu/~rdewri


Privacy in the Blue Circle

Dr. Michael Kahn

November 11, 2011
JGH 316
2:00 - 3:00 PM

Photo Associate Professor of Epidemiology
Department of Pediatrics
University of Colorado Denver

Director of Clinical Informatics
Department of Quality & Patient Safety
The Children’s Hospital, Aurora, CO
Michael.Kahn@childrenscolorado.org


Data Sharing Across a National Distributed Clinical Research Network

Dr. Nicholas Shaw

November 18, 2011
JGH 316
2:00 - 3:00 PM

Photo Information Systems Architect V, HP
Major, US Army (Retd.)
Doc@DocHarley.com


Internet Protocol (IP) Traceback

Mr. Tim Weil

January 13, 2012
JGH 102
2:00 - 3:30 PM

Photo Senior Manager - Information Security
Raytheon Polar Services, Centennial, CO
http://www.securityfeeds.com


INCITS Role-Based Access Control

Simon Mckeown

January 20, 2012
JGH 102
2:00 - 3:00 PM

Photo DaDaFest International Artist of the Year 2010-2011
Teesside University, Computer Animation and Post Production
http://www.simon-mckeown.com/


Motion Disabled

Dr. Aaron Beach

January 27, 2012
JGH 102
2:00 - 3:00 PM

Photo Postdoctoral Researcher – Energy Informatics
National Renewable Energy Laboratory
Golden, CO
http://www.aaronbeach.com


Show me the Data! How to share private data on Facebook or in the Smart Grid

Dr. Akihiro Kishimoto

February 3, 2012
JGH 102
3:00 - 4:00 PM

CANCELLLED DUE TO SEVERE WEATHER

Photo Department of Mathematical and Computing Sciences
Tokyo Institute of Technology
http://www.is.titech.ac.jp/~kishi/


Large-scale Parallel Best-First Search for Optimal Planning

Dr. Leemon Baird

February 10, 2012
JGH 102
2:00 - 3:00 PM

Photo Academy Center for Cyberspace Research
US Air Force Academy
Colorado Springs, CO
http://www.leemon.com


Unkeyed Jam Resistance with BBC

Dr. Chris GauthierDickey

February 24, 2012
JGH 102
2:00 - 3:00 PM

Photo Department of Computer Science
University of Denver
http://www.cs.du.edu/~chrisg


How to play peer-to-peer trading card games while preventing your opponents from cheating?

Dr. Michael Bowling

March 9, 2012
JGH 102
2:00 - 3:00 PM

Photo Department of Computing Science
University of Alberta, Canada
http://cs.ualberta.ca/~bowling


AI After Dark: Computers Playing Poker

Dr. Lee White

April 6, 2012
JGH 102
3:00 - 4:00 PM

Photo Professor of Computer Science Emeritus
Case Western Reserve University
Cleveland, Ohio
lwhite4939@aol.com


Firewall Models for Testing Changes in Configurable Software Systems

CRISP Workshop on Information Security and Privacy

April 20, 2012
Friday
Ritchie Center
8:30 AM - 4:00 PM

Photo Department of Computer Science
University of Denver


More information

Dr. Deborah Glueck

April 27, 2012
JGH 102
3:00 - 4:00 PM

Photo Department of Biostatistics
Colorado School of Public Health
University of Colorado Denver
www.ucdenver.edu


Using the Java Web Services Architecture to Select Sample Size for Biomedical Studies

Undergraduate Research

May 4, 2012
JGH 102
3:00 - 4:00 PM

Photo Department of Computer Science
University of Denver




Dr. Michael E. Goss

May 18, 2012
JGH 102
3:00 - 4:00 PM

Photo Geo Engineering
Google, Boulder, CO
mikegoss@google.com


A Computer Scientist's Introduction to Geographical Information

2010 - 2011

Dr. Indrajit Ray

November 5, 2010
JGH 102
2:00 - 3:00 PM

Photo Department of Computer Science
Colorado State University
http://www.cs.colostate.edu/~indrajit


Secure Personal Health Vaults: A New Vision in Electronic Health Data Management

Dr. Nathan Sturtevant

November 12, 2010
JGH 102
2:00 - 3:00 PM

Photo Department of Computer Science
University of Denver
http://www.cs.du.edu/~sturtevant


Learning Both Distances and Heuristics: A New Approach for Agent-Centered Search

Dr. Kimon Valavanis

January 21, 2011
JGH 102
2:00 - 3:00 PM

Photo School of Engineering and Computer Science
University of Denver
http://www.engr.du.edu/kvalavanis


History of Robotics: A Journey Through Time

Dr. Matthew Rutherford

February 4, 2011
JGH 102
2:00 - 3:00 PM

Photo Department of Computer Science
University of Denver
http://mjrutherford.org


The Transputer Lives! Enabling Advanced Embedded Applications Through XMOS Technology

Dr. Alfredo Weitzenfeld

February 10, 2011
CMK 309
2:00 - 3:00 PM

Photo Department of Computer Science and Engineering
University of South Florida
http://www.ploy.usf.edu


A Biological Model of Spatial Cognition in Robots Inspired in Rat Studies

Dr. Peter Messmer

February 18, 2011
JGH 102
2:00 - 3:00 PM

Photo Tech-X Corporation, Boulder
http://www.txcorp.com


From Petaflop to Exascale: Towards the Next Milestone in Scientific Computing

Dr. Dennis Frailey

February 22, 2011
CMK 309
2:00 - 3:00 PM

Photo ACM Distinguished Speaker
Department of Computer Science
Southern Methodist University
http://www.dsp.acm.org


Introduction to Software Safety

CRISP Workshop on Information Security

April 1, 2011
Gottesfeld Room
8:30 AM - 4:30 PM

Photo University of Denver
Register

Dr. Jonathan Schaeffer

April 8, 2011
Boettcher 101
2:00 - 3:00 PM

PhotoDepartment of Computing Science
University of Alberta, Canada
http://webdocs.cs.ualberta.ca/~jonathan


Computer (and Human) Perfection at Checkers

William Mitchell

April 22, 2011
JGH 102
2:00 - 3:00 PM

PhotoDepartment of Computer Science, University of Denver



Solving Path Problems Using Regular Expressions

Dr. Dinesh P. Mehta

May 13, 2011
JGH 102
2:00 - 3:00 PM

PhotoDepartment of Mathematics and Computer Science
Colorado School of Mines
http://inside.mines.edu/~dmehta


Automated Reaction Mapping

Dr. Ramki Thurimella

May 20, 2011
JGH 102
2:00 - 3:00 PM

PhotoDepartment of Computer Science
University of Denver
http://web.cs.du.edu/~ramki


My Current Projects