[OSy] Pozvanka na prednasky prof. Jana Vitka

[Martin Decky]

Hezke odpoledne,

rad bych Vas timto pozval na dve zajimave prednasky, ktere se budou 
konat pristi tyden.

   Prednasejici: prof. Jan Vitek (Purdue University, USA)
   Datum: ctvrtek 27. 6. od 15:40 do 17:30
   Misto: poslucharna S5

Abstrakty prednasek jsou uvedeny nize.


S pozdravem

Martin Decky

----------

1) Planet Dynamic: How I Learned to Stop Worrying and Love Reflection 
(27. 6. od 15:40)

A fundamental belief underlying forty years of programming languages 
research, aptly captured by the slogan "Well-typed programs can't go 
wrong", is that programs augmented with machine-checked annotations are 
more likely to be free of bugs. But of course, real programs do go wrong 
and programmers are voting with their feet. Dynamic languages such as 
Ruby, Python, Lua, JavaScript and R, unencumbered by types, are 
increasingly popular. JavaScript, the lingua franca of the web, is 
moving to the server.

Not only are these languages devoid of types, but they utterly lack any 
static structure that could be used for program verification. This talk 
will draw examples from recent results on JavaScript to illustrate the 
extent of the problem and propose some directions for research.

----------

2) From Academia to Silicon Valley: Careers in Computing (27. 6. od 16:30)

What is it like to work at a startup in a garage in Silicon Valley? What 
about a corporate research lab like Oracle, IBM or Google? How does one 
move between academic research (i.e. science) and industrial research 
(i.e. money)? This talk will touch on different aspects of careers in 
computer science. I will start by detailing how to get into a 
competitive University in the US. How get and what to expect from a 
postdoctoral position. How to move to industry and what is life like in 
those different places. The talk will be interactive and use examples of 
research accomplishments of my students.

----------