Back to Results
First PageMeta Content
Computer science / Rajeev Alur / Formal sciences / Automata theory / Model checking / IEEE Symposium on Logic in Computer Science / Formal methods / Formal verification / Symposium on Theory of Computing / Theoretical computer science / Applied mathematics / Logic in computer science


Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania
Add to Reading List

Document Date: 2014-10-08 01:07:27

Open Document

File Size: 149,68 KB

Share Result on Facebook

City

Philadelphia / Cambridge / /

Company

Software Development Engineer Intern Microsoft Corporation / Microsoft / Yi Wei Microsoft Research Ltd / /

Country

United Kingdom / /

/

Facility

Visual Studio / Engineering Indian Institute of Technology Guwahati Experience / Information Science University of Pennsylvania / /

IndustryTerm

finite-state protocols / /

Organization

University of Pennsylvania / Technology Computer Science and Engineering Indian Institute of Technology Guwahati Experience / Contact Details Department of Computer / National Council for Educational Research and Training Publications / Rajeev Alur Department of Computer / CSE Department Undergraduate Programme Committee / /

Person

Rishabh Singh / David Peleg / Yifei Yuan / Rajeev Alur / Stavros Tripakis / Christos Stergiou / Sanjit Seshia / Marta Kwiatkowska / Purandar Bhaduri / Youssef Hamadi / Abhishek Udupa / Armando Solar-Lezama / Adam Freilich / Emina Torlak / Automata / Jyotirmoy Deshmukh / Pinaki Mitra / Milo Martin / Mukund Raghothaman / /

Position

Advisor / model / representative / Engineer / Teaching assistant / /

Product

Microsoft Corporation Portable Audio Device / /

ProgrammingLanguage

R / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

http / finite-state protocols / /

URL

www.seas.upenn.edu/~rmukund/pdf/wpe2-slides.pdf / http /

SocialTag