robby.santoslab.org
Honors — Robby
http://robby.santoslab.org/honors.html
Department of Computer Science. ACM SIGSOFT Impact Award. ICSE 2000 Most Influential Paper (MIP) Award. NASA Turning Goals into Reality (TGIR) Award, 2003. Phi Kappa Phi, 1998. Golden Key, 1998. PhD Candidate ( main. Hariharan Thiagarajan, Ph.D. Student ( co. Postdoctoral, 2007 – 2010, now postdoc at NUS. Xianghua Deng, Ph.D., 2007, now at Google (co: John Hatcliff. Vidit Ochani, M.S., 2013, now at Amazon. Ashish Panday, M.S., 2010, first job at Microsoft. MS, 2009, now Ph.D. Student at UPenn.
robby.santoslab.org
Teaching — Robby
http://robby.santoslab.org/teaching.html
Department of Computer Science. CIS 301: Logical Foundations of Programming. This course teaches the basic elements found in a formal logic including syntax for claims and rules for making deductions, as well as on how to judge if the rules are suitable in the sense that they only lead to claims that match the reality of the domain that are being reasoned. The focus will be on formal logics for reasoning about program behavior. CIS 501: Software Architecture and Design. CIS 706: Translator Design I.
cs.ksu.edu
People | Kansas State University - Computer Science
http://www.cs.ksu.edu/people
Kansas State University - Computer Science. Browse the personnel pages:. Professors, Instructors, and Academic Advisors. Office and Computer Support Personnel. Dept Head's Welcome. Women in Computer Science. Where The Jobs Are. Top 50 Paying Jobs (yes, CS is #1). ACM Women in Computing. Center for Information Assurance. Machine Learning and Data Mining. High School Programming Contest. GTA Applications and Guidelines. Department of Computer Science. Manhattan, KS 66506. Manhattan, KS 66506.
amandroid.sireum.org
Team — Sireum Amandroid
http://amandroid.sireum.org/team.html
University of South Florida. Bowling Green State University. University of South Florida. University of South Florida.
cs.ksu.edu
Students wow judges at video competition | Kansas State University - Computer Science
http://www.cs.ksu.edu/node/3433
Students wow judges at video competition. Kansas State University - Computer Science. Students wow judges at video competition. Http:/ www.kbtx.com/content/news/Students-wow-judges-at-AM-video-game-co. College Station, Tex. (KBTX) - 11 universities, more than 200 students, 48 hours, and one mission: to create more than 70 new video games at this year's Chillennium competition at Texas A&M. It comes down to what you already know, said Lynch. And, how well you can quickly adapt to situations.". Creativity ...
cs.ksu.edu
Faculty | Kansas State University - Computer Science
http://www.cs.ksu.edu/people/faculty
Kansas State University - Computer Science. Http:/ people.cis.ksu.edu/ tamtoft. Daniel A. Andresen. Http:/ people.cis.ksu.edu/ dan. Alexandru G. Bardas. Http:/ people.cis.ksu.edu/ bardasag. Http:/ people.cis.ksu.edu/ nhb7817. Http:/ people.cis.ksu.edu/ dcaragea. Scott A. DeLoach. Http:/ people.cis.ksu.edu/ sdeloach. Http:/ people.cis.ksu.edu/ russfeld. Http:/ people.cis.ksu.edu/ hatcliff. Http:/ people.cis.ksu.edu/ rhowell. Http:/ people.cis.ksu.edu/ bhsu. Http:/ people.cis.ksu.edu/ dlang1.