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.
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