Matthew Might

Biosketch

Matthew Might portrait
  • Research Affiliate, U.S. Department of Veterans Affairs
  • Advisor, Undiagnosed Disease Network Coordinating Center, Harvard University
  • Strategist, Executive Office of the President at the White House
  • Adjunct Associate Professor, Pharmaceutical Chemistry
  • Associate Professor, Visiting, Biomedical Informatics, Harvard Medical School

Research

Research Summary

My interests span static analysis, compilers, functional programming, cybersecurity, information security, optimization, medical robotics, parallelism, high-performance computing, scripting languages, dynamic languages and genetics.

Research Statement

I research the use, the design, the analysis and the implementation of programming languages. I focus on scripting languages (such as Python, JavaScript, PHP, MATLAB, Perl, Ruby and bash) and functional languages (such as Racket, Lisp, Haskell, Scala and ML), but I have done significant research on traditional languages (such as C, C++ and Java) as well. Within in programming languages, I have three foci:

  1. Static analysis, particularly of higher-order programs: My chief interest is improving the speed, precision and power of such analyses. My goal is to use these analyses to improve the security, performance and correctness of programs.

  2. Domain-specific languages: I am particularly interested in language design, and domain-specific language design for high-performance environments in particular.

  3. Algorithm and data structure design: I enjoy discovering elegant, efficient techniques for algorithm and data structure implementation.

 

Research Keywords

  • Static Analysis, Interest Level: 5
  • Social Media, Interest Level: 5
  • Secure Programming, Interest Level: 5
  • Scripting Languages, Interest Level: 5
  • Rare Disease, Interest Level: 5
  • Programming Languages, Interest Level: 5
  • Precision Medicine, Interest Level: 5
  • Parallel Programming, Interest Level: 5
  • Orphan Rare Diseases, Interest Level: 5
  • NGLY1, Interest Level: 5
  • N-Glycanase, Interest Level: 5
  • Meta-programing, Interest Level: 4
  • Medical Robotics, Interest Level: 3
  • Interpreters, Interest Level: 5
  • Information Security, Interest Level: 5
  • Higher-Order Programming, Interest Level: 5
  • Higher-Order Program Analysis, Interest Level: 5
  • Health Information Security, Interest Level: 4
  • Genetics, Interest Level: 3
  • Functional Programming, Interest Level: 5
  • Functional Languages, Interest Level: 5
  • Cyberwar, Interest Level: 5
  • Cybersecurity, Interest Level: 5
  • Cyberlaw, Interest Level: 4
  • Compilers, Interest Level: 5

Research Groups

  • Sahana Sandeep, Graduate Student. 08/2014 - present.
  • Christopher Earl, Postdoc. School of Computing. 08/2013 - 11/2014.
  • Michael Brown, Undergraduate Student. 01/2013 - present.
  • Mayur Mahareshi, Graduate Student. 08/2012 - 12/2013.
  • Christopher Earl, Graduate Student. School of Computing. 08/01/2008 - 08/01/2013. http://www.cwearl.com/.

Grants, Contracts & Research Gifts

  • XPS: EXTREME SCALE FRAMEWORKS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN. NATIONAL SCIENCE FOUNDATION, 09/15/2013 - 08/31/2016. Total project budget to date: $365,866.00
  • DARPA Cybersecurity Supplement. PI: Matthew Might. Co-PI(s): David Van Horn (Northeastern University). DARPA, 08/2013 - 02/2015. Total project budget to date: $350,000.00
  • EAGER: Platform-Agnostic Supercomputing from Scientific Metaprogramming. PI: Matthew Might. Co-PI(s): James Sutherland, Martin Berzins. NSF, 09/2012 - 08/2014. Total project budget to date: $200,000.00
  • DISCOURSE PROGRAMMING SYSTEMS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): FLATT,MATT. NORTHEASTERN UNIVERSITY, 10/01/2010 - 03/31/2015. Total project budget to date: $1,592,450.00
  • CAREER 2013. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 02/01/2014 - 01/31/2019. Total project budget to date: $85,136.00
  • ASPLOS2014. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 01/15/2014 - 12/31/2014. Total project budget to date: $15,000.00
  • XPS: EXTREME SCALE FRAMEWORKS. PI: BERZINS,MARTIN. Co-PI(s): MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2013 - 08/31/2016. Total project budget to date: $155,459.00
  • EAGER-PASSM. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN; SUTHERLAND,JAMES. NATIONAL SCIENCE FOUNDATION, 09/01/2012 - 08/31/2015. Total project budget to date: $200,000.00
  • REU SUPPLEMENT FOR 58501776. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN; SUTHERLAND,JAMES. NATIONAL SCIENCE FOUNDATION, 09/01/2012 - 08/31/2015. Total project budget to date: $17,000.00
  • APAC: Automated Program Analysis for Cybersecurity. PI: MIGHT,MATTHEW BRENDON. DOD DEFENSE ADVANCED RESRCH PR, 02/03/2012 - 08/03/2013. Total project budget to date: $397,811.00
  • DISCOURSE PROGRAMMING SYSTEMS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): MIGHT,Matthew Brendon (67.0%); FLATT,Matt (33.0%). NORTHEASTERN UNIVERSITY, 10/01/2010 - 09/30/2012. Total project budget to date: $392,853.00
  • CPS2010. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): GOPALAKRISHNAN,GANESH; HOLLERBACH,JOHN M; PARKER,DENNIS L. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $379,257.00
  • REU SUPP FOR 58501561. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $32,000.00
  • PART SUPP FOR 58501561. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $17,000.00
  • C02 PREDICTIVITY-VECTOR PARALL. PI: MIGHT,MATTHEW BRENDON. DOE NATIONAL NUCLEAR SECURITY, 07/01/2010 - 09/30/2011. Total project budget to date: $92,050.00

Patents

  • Cryptographic container security system (#7,443,293). Status: Issued. Inventors: Matthew Might, Mark Ferderer, Gary Bowser. File date 10/24/2005; Issue date 10/28/2008. Assignee: ScanTech Holdings, LLC.
  • Angled-beam detection system for container inspection (#7,356,118). Status: Issued. Inventors: Matthew Might, Mark Ferderer, Gary Bowser. File date 10/24/2005; Issue date 04/08/2008. Assignee: ScanTech Holdings, LLC.

Software Titles

  • Tapas. Malware detection tool for Android. Release Date: 12/2013. Inventors: Andrew Keep, Matthew Might.
  • Anadroid. Malware detection tool for Android. Release Date: 02/2013. Inventors: Shuying Liang, Matthew Might.
  • DERP. DERP is a derivative-based parsing tool. Release Date: 09/2011. Inventors: Matthew Might.