Name: MEUNIER, Philippe
Position: Assistant Professor, Computer Science and Technology

Academic & Professional Qualifications
  • Ph.D. in Computer Science, Northeastern University, Boston.
  • M.Sc. in Computer Science, Rice University, Houston.
  • Engineering Degree in Computer Science, Télécom ParisTech, Paris.
Research Areas
  • Programming languages: semantics, type systems, flow analyses, abstract interpretation, and other formal methods, for functional and object-oriented languages.
Selected Publications
  1. Philippe Meunier, Robert Bruce Findler, Matthias Felleisen, "Modular Set-Based Analysis from Contracts", in Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL), Charleston, USA, January 2006.
  2. Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand, "Selectors Make Set-Based Analysis Too Hard", in Journal of Higher-Order and Symbolic Computation (HOSC), volume 18(3-4), page 245-269, December 2005.
  3. David Herman, Philippe Meunier, "Improving the Static Analysis of Embedded Languages via Partial Evaluation", in Proceedings of the 9th International Conference on Functional Programming (ICFP), Snowbird, USA, September 2004.
  4. Philippe Meunier, Daniel Silva, "From Python to PLT Scheme", in Proceedings of the 4th Workshop on Scheme and Functional Programming, Boston, USA, November 2003.
Courses Taught at UIC
  • Object-Oriented Programming
  • Compiler Construction
  • Operating Systems