On Saturday March 28th, thirty-six Michigan Tech students took part in the 16th Annual NMU Invitational Programming Contest. The students sent a record number of 13 teams of up to three students to compete against 18 other teams from Northern Michigan University, Lake Superior State University, Algoma University, and The College of St. Scholastica (Duluth, MN). Michigan Tech also sponsored the first ever high school teams to compete in the NMU Invitational; two teams comprised of students who participate in the Copper Country Programmers.
Min Song published a book titled “Spectrum Sharing for Wireless Communications” at Springer Briefs in Electrical and Computer Engineering. The book explains widely used opportunistic spectrum access and TV white space sharing, and four new technologies to significantly increase the efficiency of spectrum sharing.
Associate Prof. Soner Onder and his graduate students published a paper titled “LaZy Superscalar” in the 42nd International Symposium on Computer Architecture (ISCA). ISCA is recognized as the premier conference in computer architecture with 10-20 percent acceptance rates. CS PhD student Gorkem Asilioglu (first author) will present the paper on June 15 in Portland, OR.
Associate Prof. Onder and his graduate students also published a paper titled “Mower: A New Design for Non-blocking Misprediction Recovery” in ACM/SIGARCH International Conference on Supercomputing (ICS). ICS is the premier international forum for the presentation of research results in high-performance computing systems held since 1987. PhD student Zhaoxiang Jin (first author) will present the paper on June 8 in Newport Beach, CA.
Dr. Xiaohua Xu (PI) has been awarded a research grant of $145,664 from the National Science Foundation. The project is titled “Optimal Joint Spectrum Allocation and Scheduling for Cognitive Radio Networks.” Dr. Xiaohua Xu is currently a Research Assistant Professor at Michigan Tech.
Computer Science Professor Nilufer Onder was ranked in the top 10% across all university classes for student evaluation scores. Onder’s ranking for Fall 2014 was based among other classes with a similar size of 50 students. She taught CS3311, Formal Methods of Computing, last semester and earned a score of 4.85 on the Question of Excellent Teacher and her score for the average of the seven elements of the evaluation was a 4.74. Please join Max Seel, Provost and Vice-President for Academic Affairs and Computer Science Department Chair Min Song in congratulating Nilufer Onder on her scores.
Dr. Min Song gave the keynote talk at IEEE GlobalSIP 2014 on December 5. The talk is titled “A Transparent Spectrum Co-Access Protocol for Primary and Secondary Users.” In this talk, Dr. Song introduced a novel wireless network protocol, termed spectrum co-access protocol (SCAP), for secondary users to transparently and simultaneously access the spectrum with primary users. SCAP enables mutually beneficial coexistence between primary user network and secondary user network. More details can be found at http://www.ieeeglobalsip.org/symposium/all-keynotes.html.
Title: A Tutorial on Theorem Proving in the Prototype Verification System (PVS)
Abstract: This tutorial will be offered for faculty members and graduate students whose research involves any sort of logical reasoning that can be expressed in predicate logic. The Prototype Verification System (PVS) is one of the premier theorem provers developed at the Stanford Research Institute (SRI). This tutorial provides a basic understanding of PBS along with the elementary techniques for formal specification and mechanical verification. PVS has been used in the verification of numerous real-world applications such as mission-critical systems, air traffic management systems, fault-tolerant distributed systems, security protocols, spacecraft autonomy and AI planning.
Organizers: Mr. Amer Tahat (CS), Dr. Ali Ebnenasir (CS), and Dr. Ossama Abdelkhalik (ME-EM).
Time: 4:00 – 5:00 p.m., Dec. 3rd, 4th and 5th
Place: Rekhi 112
Registration: Please send an email to Mr. Amer Tahat at firstname.lastname@example.org. Space is limited, so register early please.
Acknowledgement: The organizers extend their gratitude to the Formal Methods group at NASA Langley for providing technical support. Prerequisites include preliminary knowledge of propositional and predicate logic.
PI Charles Wallace and Co-PIs Leo Ureel and Shreya Kumar (CS), “Agile Communicators: Preparing Students for Communication-Intensive Software Development Through Inquiry, Critique and Reflection,” NSF
PI Ali Ebenasir (CS), “Colloborative Research: Breakthrough: Integrating Fault-Tolerance and Tamper Evidence for Cyber-Physical Systems,” NSF
Dr. Min Song, new chair of the Department of Computer Science and former program director at NSF, will hold a research seminar on Monday, November 24th from 11:00am – Noon in 101 Rekhi. The talk will first explore the critical elements that could strengthen a research proposal and then illustrate a list of typical mistakes that PIs make. At the end of the presentation, samples of programs in the area of computer information science and engineering will be discussed.