Upcoming Events

CODERS Meeting
Thursdays | 4-5 pm | Wing 231CODERS is a group of students and faculty interested in outreach, diversity, engagement and retention.

Cookies w/CODERS
Mondays | 4-5 pm |Wing 16A weekly study time to meet other CS students, ask questions, work on projects, and of course...eat cookies! Put on by CODERS.

Meet & Pizza w/Fastenal
Wednesday, March 22, 5pm, 1142 Centennial Come have pizza and hear about recruiting info from Fastenal.

CS Distinguished Lecturer
Shafi Goldwasser
Mon April 3, Lectures 11 & 5pm2017 Distinguished Lecturer in Computer Science

MICS Conference
Fri-Sat April 7-8UWL CS Dept is hosting the Midwest Instruction and Computing Symposium.

Final Exams
May 8-12Make sure you know when your finals are for each class.


Interesting Things

cs_uwl_edu We have one of these http://t.co/oqsP1wf3bk connected to an @electricimp.
cs_uwl_edu We have started experimenting with these. http://t.co/6ZBohBpeV7
cs_uwl_edu This is a very interesting device. http://t.co/HlE5cB4YkF
cs_uwl_edu This is the first tweet.


Computer Science Dept
221 Wing Technology Ctr.
1725 State St.
La Crosse, WI 54601
Voice: (608) 785-6805
Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Google Maps

Distinguished Lecture Series in Computer Science
Monday, April 3, 2017
Dr. Shafi Goldwasser

UWL Campus | Cameron Hall of Nations | 1300 Centennial Hall

Check in and refreshments 30 minutes before each lecture.

All Events are free and open to the public.

For further information contact:  Steve Senger, Ph.D/Dept Chair, This email address is being protected from spambots. You need JavaScript enabled to view it., 608.785.6805


Shafi Goldwasser, Ph.D. is the RSA Professor of Electrical Engineering and Computer Science at MIT. She is also a professor of computer science and applied mathematics at the Weizmann Institute of Science in Israel. Goldwasser received a B.S. degree in applied mathematics from Carnegie Mellon University in 1979, and M.S. and Ph.D. degrees in computer science from the University of California, Berkeley, in 1984.

Goldwasser’s pioneering contributions include the introduction of interactive proofs, zero knowledge protocols, hardness of approximation proofs for combinatorial problem and multi-party secure protocols.

She was the recipient of the ACM Turing Award for 2012, the Gödel Prize in 1993 and another in 2001, the ACM Grace Murray Hopper award, the RSA award in mathematics, the ACM Athena award for women in computer science, the Benjamin Franklin Medal, and the IEEE Emanuel R. Piore award.

She is a member of the AAAS, NAS and NAE.


11:00 a.m Technical Symposium - New Pseudo-deterministic Algorithms

Probabilistic algorithms for both decision and search problems can offer significant complexity improvements over deterministic algorithms. One major difference, however, is that they may output different solutions for different choices of randomness. This makes correctness amplification impossible for search algorithms and is less than desirable in setting where uniqueness of output is important such as generation of system wide cryptographic parameters or distributed setting where different sources of randomness are used.

Pseudo-deterministic (PSD) algorithms are a class of randomized search algorithms, which output a unique answer with high probability. Intuitively, they are indistinguishable from deterministic algorithms by an polynomial time observer of their input/output behavior.

In this talk I will describe whats known about pseudo-deterministic algorithms. In particular: if P=BPP, then any PSD polynomial time search algorithm can be easily converted to a deterministic polynomial time search algorithm; examples of PSD for certain number theory problems for which we know no deterministic solutions; the possibility of sub-linear PSDs; and a new pseudodeterministic $NC$ algorithm for finding perfect matchings in bipartite graphs. The talk is based on joint works with E. Gat, O. Goldreich and D. Ron, and O. Grossman.


5:00 p.m. Keynote - The Cryptographic Lens

Going beyond the basic challenge of private communication, in the last 35 years, cryptography has become the general study of correctness and privacy of computation in the presence of a computationally bounded adversary, and as such has changed how we think of proofs, reductions, randomness, secrets, and information.

In this talk I will discuss some beautiful developments in the theory of computing through this Cryptographic Lens, as well as recent developments in cryptography that may allow the next successful shift from local to global computation.



• Visitors can purchase a half ($3) or full day ($5) permit from Parking Services, located at 605 17th St. North, in the parking ramp.
• Visitors can also use the new pay stations located in the Center for the Arts lot (C10), any commuter lot, as well as the first level of the parking ramp. (pay-by-phone app also available with these stations)
• Parking information, parking map and a link to purchase permits can be found online at www.uwlax.edu/parking.