Research Overview

I am broadly interested in the design of usable programming languages and practical software verification. Currently, I am working on an approach to gradual verification, which allows software developers explicit control over the trade-offs between static and dynamic verification along a spectrum by tuning the (im)precision of specifications. Previously, I contributed to the language design of Penrose - a renderer for abstract concepts - and Obsidian - a programming language that facilitates the development of secure blockchain applications.


2017-Present, Ph.D., Software Engineering, Carnegie Mellon University (CMU), Pittsburgh, PA, USA
GPA: 4.0
NSF Graduate Research Fellow 2017-2022

2013-2017, B.S. with Honors, Computer Science and Mathematics, Summa Cum Laude, Youngstown State University (YSU), Youngstown, OH, USA
GPA: 4.0
Barry Goldwater Scholar 2016-2017


Conference & Journal Workshop Miscellaneous

Research Experience

  • Research Intern, IBM (May 31, 2017 to August 18, 2017, June 4, 2018 to August 24, 2018)
  • Research Intern, MIT Lincoln Laboratory (June 9, 2015 to July 31, 2015, June 9, 2016 to July 29, 2016)
  • Research Assistant, Software Engineering and Empirical Studies Laboratory, YSU (August 21, 2014 to May 15, 2017)
  • REU Participant, School of Computing, Clemson University (June 1, 2014 to July 26, 2014)


  • (SE) Wise, J., “Gradual Verification of Recursive Heap Data Structures”, POPL, New Orleans, LA, 2020
  • (SE) Wise, J., Whitely, J., Husain, A., Lazar, A., Sharif, B., “Predicting Expertise from Eye Gazes on Source Code”, ACM Richard Tapia Celebration of Diversity in Computing, Austin, TX, 2016
  • (MATH) Shehadi, E., Wise, J., “Redistricting Youngstown Police Beats”, MAA MathFest, Washington D.C., 2015
  • (CS) Wise, J., “Minimal Weakly Connected Dominating Sets Algorithm”, GHC, Phoenix, AZ, 2014
  • (SE) Wise, J., “Gradual Verification of Recursive Heap Data Structures”, WGT, New Orleans, LA, 2020
  • (SE) Wise, J., “Determining Developer Debugging Behavior from Eye Gazes”, NCUWM, University of Nebraska-Lincoln, 2017
  • (SE) Wise, J., Brent, P., Clark, B., Sharif, B., “Towards an Emotionally Aware Development Environment”, SEmotion, Austin, TX, 2016
  • (MATH) Wise, J., “Summing Like Euler”, MAA Regional, Ohio Northern University, 2016
  • (MATH) Wise, J., “On a Local-Global Property of Quadratic Residues”, MAA MathFest, Washington D.C., 2015
  • (SE) Whitely, J., Wise, J., “An Eye-Tracking Experiment Studying Problem Solving Behavior”, OCWIC, Sandusky, OH, 2015
  • (MATH) Wise, J., “On the Local-Global Properties of Quadratic Residues”, MAA Regional, Marshall University, 2015
  • (CS) Wise, J., “Minimal Weakly Connected Dominating Sets”, MAA MathFest, Portland, OR, 2014
  • (MATH) Hoopes, E., Wise, J., “Proof of the Pythagorean Theorem: A Geometric Series Approach”, MAA Regional, University of Toledo, 2014