/ http://www.slideshare.net/images/logo.gif / 際際滷Share feed for 際際滷shows by User: michaljmoskal https://cdn.slidesharecdn.com/profile-photo-michaljmoskal-48x48.jpg?cb=1523533242 Researcher working on applications and theory of computer science, particularly interested in programming languages, program verification and automated theorem proving. http://research.microsoft.com/~moskal/