stypy

A static type checker for Python

  • Francisco Ortin
  • University of Oviedo, Spain
  • Tenured Associate Professor. BSc in Computer Science. MS in Computer Engineer. PhD in computational reflection over abstract machines. Principal investigator, project coordinator and software architect.
  • Jose Manuel Redondo
  • University of Oviedo, Spain
  • Assistant Professor. BSc in Computer Science. MS in Computer Engineer. PhD in virtual machine optimizations to support structural reflection. Research member, software engineer and main developer.