27.aug, 12:00 ICT-315 "Research in Software Engineering at Microsoft"
Tarkvarateaduse instituudi seminaril teisipäeval, 27.08.2019 kell 12:00 esineb Madan Musuvathi (Microsoft Researchi RiSE grupi juht) teemal "Research in Software Engineering at Microsoft".
Seminar toimub ruumis ICT-315.
Seoses meie heade Tartu kolleegide korraldatava ESEC/FSE konverentsi toimumisega Tallinnas on nõustunud meile külla tulema Microsoft Researchi RiSE (Research in Software Engineering) grupi juht, Madan Musuvathi, kes räägib oma juhitava grupi tegemistest.
Research in Software Engineering at Microsoft
The talk will give an overview of the current activities in the Research in Software Engineering (RiSE) group at Microsoft Research. The efforts cover the foundations of correctness, with tools such as the protocol verification tool Ivy, theorem prover and programming language aimed at axiomatic proofs called Lean, satisfiability modulo theories solver Z3, and symbolic automata and transducer library called Automata. The foundational tools are applied in a group of tools and languages supporting verification such as F*, Koka and P and in tools for verifying properties of cloud systems and computer networks. Many of the challenges with big data are addressed in tools aimed at making working with big data more efficient, such as e.g. Parade, Tempe, Trill and Uncertainty. Traditionally the group is also working on the software productivity aspects, such as debugging and testing, program analysis and empirical software engineering topics. On the educational front there are several projects ongoing, e.g. Microsoft MakeCode and BBC micro:bit that are aimed at making learning programming more accessible for children. It will be possible to drill down to specific topics based on the interests of the audience.