John Gouwar
(he/him/his)
PhD Student
Research Interests
- Programming Language Implementation
- Program Synthesis
Education
- BA in Computer Science and Mathematics, Grinnell College
Biography
John Gouwar is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Arjun Guha. His doctoral research, which he began in 2021 and expects to complete in 2026, focuses on programming languages.
Gouwar is broadly interested in programming language implementation, program synthesis, language-based approaches to computing problems, and the application of mathematical logic to real-world computing systems. He previously worked on a project dealing with the Minimum Circuit Size Problem. Gouwar is affiliated with the Programming Research Laboratory.
Labs and Groups
Recent publications
-
NDIF at Northeastern: $9 million NSF grant to launch groundbreaking project
Lead PI: David BauCo PIs: Arjun Guha, Jonathan Bell, Carla E. Brodley, Byron Wallace -
Auditory Seasoning
Lead PI: Rébecca KleinbergerCo PIs: Akito van Troyer (Berklee College of Music), Quin Janice Wang (University of Copenhagen) -
Orca Talk
Lead PI: Rébecca KleinbergerCo PIs: Jorg Rychen (ETH Zurich), Julie Semoroz, Alexander Eckerle, Richard Hahnloser (ETH Zurich) -
Sonic and Vocal Enrichment in Zoos
Lead PI: Rébecca Kleinberger -
The Other Abilities
Co PIs: Eva Fotiadi, Andreas Tegnander, Mark IJzerman, Alina Ozerova, Ildikó Horvath, Claudio F Baroni, Maria Kandyla, Michele Abolaffio, VibraFusionLabCollective, David Bobier, Jim Ruxton, Jenelle Rouse, Christine ‘Coco’ Roschaert -
Tamago Phone
Lead PI: Rébecca KleinbergerCo PIs: Janelle Sands, Harpreet Sereen, Janet Baker -
Towards an Evolvable Public Key Infrastructure
Lead PI: Taejoong Chung (Virginia Tech)Co PIs: Christo Wilson, Alan Mislove -
Auditing Critical Dependencies Between Online Media Platforms
Lead PI: Christo Wilson -
Observatory for Online Human and Platform Behavior
Lead PI: David LazerCo PIs: David Choffnes, Christo Wilson -
-
Anyone Python
Lead PI: Jeongkyu Lee -
Development of Algorithms for Detecting the Activities of Adults and Children From Wearable Sensors
Lead PI: Stephen Intille -
-
Crowd-Sourced Annotation of Longitudinal Sensor Data to Enhance Data-Driven Precision Medicine for Behavioral Health
Lead PI: Stephen IntilleCo PI: Seth Cooper -
Collecting Family Health History Using Relational Agents
Lead PI: Timothy W. BickmoreCo PIs: Catharine Wang (Boston University), Michael Paasche-Orlow (Boston University) -
-
Reputation Agent: Tools to Help Digital Workers Earn More and Create Fairer Workspaces
Lead PI: Saiph Savage -
Human Centered A.I. for Federal Governments
Lead PI: Saiph Savage -
A.I. to Empower Displaced Rural Workers
Lead PI: Saiph Savage -
Mobots
Lead PI: Stephen IntilleCo PIs: Seth Cooper, Aditya Ponnada -
MixWILD
Lead PI: Donald Hedeker (University of Chicago)Co PI: Genevieve Dunton (University of South California) -
Signaligner Pro
Lead PI: Stephen IntilleCo PIs: Aditya Ponnada, Seth Cooper, Qu Tang, Binod Thapa Chhetry -
Speculator: A Tool to Analyze Speculative Execution Attacks and Mitigations
Lead PI: Engin KirdaCo PI: Andrea Mambretti -
Trellis: Privilege Separation for Multi-User Applications Made Easy
Lead PI: Engin KirdaCo PIs: William Robertson, Kaan Onarlioglu, Andrea Mambretti -
LAVA: Large-scale Automated Vulnerability Addition
Lead PI: Brendan Dolan-Gavitt (New York University)Co PIs: Engin Kirda, William Robertson, Andrea Mambretti -
Microinteraction Ecological Momentary Assessment
Lead PI: Stephen IntilleCo PI: Aditya Ponnada