OREGON STATE UNIVERSITY

You are here

Colloquium Series

Once every week while school is in session, EECS invites a distinguished researcher or practitioner in a computer science or electrical and computer engineering-related field to present their ideas and/or work. Talks are generally targeted to electrical engineering and computer science graduate students. This colloquium series is free and open to everyone.

Upcoming Colloquia

Grad Student Colloquium 2

Monday, February 2, 2015 - 4:00pm to 4:50pm
KEC 1003
Speaker Information
Sheng Chen, Jesse Hostetler and Michael Hilton
CS PhD students
School of EECS
Oregon State University

Variational Typing and Its Applications -- Sheng Chen

Speaker Bio
Speaker Biography: 

Sheng Chen is a PhD candidate at Oregon State University, working with Martin Erwig. Sheng's research interests are programming languages and software engineering with a focus on type systems, static analyses, functional programming, and software product lines. His current research is concerned with supporting programming productivity through improved static analyses. He also investigates a computational model of variational computing as a basis for accelerating computations through reuse.

Jesse Hostetler is a PhD student at Oregon State University, co-advised by Tom Dietterich and Alan Fern. His research deals with representational issues in sequential decision making. He received his BS in computer science and psychology from the University of Nebraska-Lincoln in 2009. Before coming to OSU, he worked at Smart Information Flow Technologies in Minneapolis, MN.

Michael Hilton is a Ph.D. student in Computer Science at Oregon State University. His research interests include Software Engineering with a focus on how to improve developer’s lives, particularly on agile development processes as well as mobile development. He has a Masters from Cal Poly San Luis Obispo, and also spent 9 years working at a US D.o.D. Research Lab before coming to OSU.

Opportunities for scholarships, employments, internships, and graduate studies at ADSC, the Illinois Research Center, and other institutions in Singapore

Tuesday, February 3, 2015 - 3:00pm to 4:00pm
KEC 1007
Speaker Information
Ali Asghar Mirarefi
Senior Coordinator
International Research Program of the Advanced Digital Sciences Center
University of Illinois Urbana Champaign

University of Illinois at Urbana-Champaign (Illinois) has developed deep relations with educational and
research institutions in Singapore.

Speaker Bio
Speaker Biography: 

Prof. Mirarefi, a retired member of the Department of Chemical and Biomolecular Engineering at the University of Illinois at Urbana-Champaign, is currently the Senior Coordinator, International Research Program of the Advanced Digital Sciences Center, ADSC, which is a center for research led by faculty of the University of Illinois at Urbana-Champaign.

ADSC is fully funded by the Agency of Science, Technology and Research, A*STAR, and is located at the Fusionopolis research facility in Singapore.

Prior to his retirement, Prof. Mirarefi had served in the Department of Chemical and Biomolecular Engineering and then as the Director of International Research Partnerships, Office of the Vice Chancellor for Research, University of Illinois at Urbana-Champaign responsible. He has been instrumental in building research programs and collaborations with reputable universities and research institute around the world.

Variational Typing and Its Applications

Monday, February 9, 2015 - 4:00pm to 4:50pm
KEC 1003
Speaker Information
Sheng Chen
PhD Candidate
School of EECS
Oregon State University

Type systems affect programming productivity in several ways. First, the efficiency of a type checker determines how fast programmers can receive typing feedback. This is a real problem when typing software product lines, which typically encode huge numbers of programs. Second, the precision of a type system determines how accurately type errors are reported and thus how quickly type errors can be fixed. Third, the expressiveness of a type system determines the constraints on writing programs and thus affects the available programming idioms.

Speaker Bio
Speaker Biography: 

Sheng Chen is a PhD candidate at Oregon State University, working with Dr. Martin Erwig. Sheng's research interests are programming languages and software engineering with a focus on type systems, static analyses, functional programming, and software product lines. His current research is concerned with supporting programming productivity through improved static analyses. He also investigates a computational model of variational computing as a basis for accelerating computations through reuse.

Past Colloquia

John F. Wager
Monday, May 13, 2013 - 4:00pm to 4:50pm
Zhaohui Wang
Monday, April 22, 2013 - 8:45am to 9:45am
Danny Dig
Friday, April 19, 2013 - 9:00am to 10:15am
Stefano Rini
Friday, April 19, 2013 - 8:45am to 9:45am
Ashkan Behnam
Tuesday, April 16, 2013 - 8:45am to 9:45am
Ram Ravichandran
Monday, April 15, 2013 - 4:00pm to 4:50pm
Raffay Hamid
Monday, April 15, 2013 - 10:00am to 11:00am
Li-Jing Larry Cheng
Friday, April 12, 2013 - 8:45am to 9:45am
Hank Childs
Monday, April 8, 2013 - 4:00pm to 4:50pm

Pages