Research Overview

I am broadly interested in the design of usable programming languages and practical software verification. Currently, I am working on gradual verification, a sound verification approach that supports complete, partial, or omitted specifications by smoothly scaling from dynamic to static checking. Previously, I contributed to the language design of Penrose - an automatic diagramming tool for mathematical notation written in plain text - and Obsidian - a programming language that facilitates the development of secure blockchain applications.

Education

2017-Present, Ph.D., Software Engineering, Carnegie Mellon University (CMU), Pittsburgh, PA, USA
GPA: 4.0
Google PhD Fellow 2021-2023, 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

Publications

Conference & Journal Workshop Miscellaneous
  • [SIAM 16] Orr, A., Wise, J., Shehadi, E., Yazvac, K., Haigler, S., “Redistricting Youngstown Police Beats”, The SIAM Undergraduate Research Online Journal, vol. 9, October 27, 2016

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)

Presentations

Poster
  • [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, SPLASH/OOPSLA, Online, 2020
  • [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
Talk
  • [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, Invited Talk, University of California Santa Cruz, Online, 2021
  • [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, OOPSLA, Chicago, IL, 2021
  • [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, Invited Talk, University of Pennsylvania, Online 2021
  • [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, OOPSLA, Online, 2020
  • [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