Concepedia

Author

Ian Voysey

Carnegie Mellon UniversityORCID

Also Known As

Ian Voysey, Voysey, Ian

9

Publications

126

Citations

6

H-Index

26

Concepts

All Affiliations

Carnegie Mellon University
IV

About

Ian Voysey is an author at Carnegie Mellon University specializing in software engineering, program analysis, and software design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

76

2

Computer Science

2

2

64

3

Systems Engineering

1

1

25

4

Artificial Intelligence

1

1

25

5

Design

1

1

39

Ian Voysey

×

5

Publications

116

Citations

5

H-Index

YearCitations

Hazelnut: a bidirectionally typed structure editor calculus

Cyrus Omar, Ian Voysey, Michael Hilton,

2016

39

Filling typed holes with live GUIs

Cyrus Omar, David A. Moon, Andrew Blinn,

2021

30

Model-Based Adaptation for Robotics Software

Jonathan Aldrich, David Garlan, Christian Kaestner,

IEEE Software

2019

25

Toward Semantic Foundations for Program Editors

Cyrus Omar, Ian Voysey, Michael Hilton,

arXiv (Cornell University)

2017

12

Toward Semantic Foundations for Program Editors

Cyrus Omar, Ian Voysey, Michael Hilton,

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

2017

10

Page 1