ravichandhran madhavan

engineering manager - program analysis

About

I am a postdoctoral researcher at EPFL working in the area of programming languages and software engineering. I love developing program analysis and software engineering tools, especially those targeting functional and object-oriented programs. Check out my webpage http://lara.epfl.ch/~kandhada for more information about my work.

Country

united states

City

san francisco

Industry

consumer electronics

Skill

computer science, static analysis, software verification, programming languages, scala, java, c#, latex, software synthesis, intelligent tutoring systems, quantum computing, c, algorithms, programming, software development, c++, linux, distributed systems, research

Experience

engineering manager - program analysis

apple

2020-9 - Present · 6 yrs 1 mo

postdoctoral researcher

epfl (école polytechnique fédérale de lausanne)

2017-11 - 2018-3 · 5 mos

research assistant

microsoft

2010-7 - 2012-8 · 2 yrs 2 mos

Researched and developed a modular program analysis for C# programs for statically inferring its heap effects and aliasing properties: SEAL.

ph.d student and doctoral assistant

epfl (école polytechnique fédérale de lausanne)

2012-9 - 2017-11 · 5 yrs 3 mos

* Dissertation: static verification and inference of resource consumption of functional Scala program. * Dissertation received EPFL Thesis Distinction (https://actu.epfl.ch/news/new-distinction-for-epfl-s-best-theses/) Other research projects I was leading: * An online tutoring system for context-free grammars (https://github.com/epfl-lara/GrammarComparison). Online interface (may not be always accessible): grammar.epfl.ch * Muscat - a unit test engine for testing student assignments on concurrent programming in Scala (https://github.com/epfl-lara/muscat).