CTS Events
November 14, 2012

Dr. Nebiyou Tilahun, UPP, presents a seminar entitled "An agent based model of origin destination estimation (ADOBE)" Wednesday, November 14th at 4:00 pm in Rm 1127 SEO


November 7, 2012

Mr. Thomas Murtha, CMAP, will address the CTS-IGERT community at 4:00 p.m. in Room 1127 SEO.


October 24, 2012

Please join us in welcoming Dr. Bo Zou, CME, on Wednesday, October 24th, Room 1127 SEO, 4:00 p.m.


CTS Happenings
September 25, 2012

Award Received by Joshua Auld, CTS-IGERT alumnus.


April 20, 2012

Congratulations to James Biagioni, CTS Fellow and CS PhD candidate, winner of the Dean's Scholar award.


January 2, 2012

James Biagioni, CTS Fellow, receives "Best Presentation Award" at SenSys2011


July 30, 2010

Dr. Ouri Wolfson, Dr. Phillip Yu, and Leon Stenneth, CS student and CTS Associate, recently had a paper accepted to the 6th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2010).


July 24, 2009

CTS-IGERT is honored Dr. Prasad Sistla, Professor, Department of Computer Science will present at the IGERT seminar on Friday, July 24, 2009 SEO 1000, 2 pm to 3pm.

Download: Uncertainty in Trip Planning in Transportation Systems

Title: "Uncertainty in Traffic Management Systems"

Abstract: The talk focuses on different techniques in handling uncertainty. We will identify models of uncertainty and its incorporation in query languages. We will also discuss algorithms for processing uncertainty.


Dr. Sistla attended Harvard University, Ph.D. Computer Science/Applied Mathematics, 1983; Indian Institute of Science, Bangalore, India; M.E. Computer Science, 1976; B.Tech., Electronics and Communications Engineering, 1974

His research interests include Formal Methods in Concurrent and Distributed Systems; Semantics and Verification of Concurrent Programs; Database Management Systems; Security; and Distributed Systems.

His professional activities include many distinguished posts such as associate Editor of the Journal "Formal Methods in System Design", Kluwer Acdemic Publishers, Jan 1997-onwards.
Co-chair of the 12th International Conference on Computer Aided Verification 2000;
He served on the Program Committees of many conferences such as IEEE Symposia on Logic in Computer Science in 1988 and in 1995, International Conference on Data Engineering 1997, the Tenth and the Eleventh International Conference on Computer Aided Verification held in 1998, 1999; The 15th International Conference on Automated Deduction held in 1998; Workshops on Computer Aided Verification held in 1990, 1991; CONCUR92 ---International Conference on Concurrency Theory to be held in 1992; He also served on NSF panels: Career Panel, 1997; SBIR panel 1998, Member of ACM and IEEE