Faculty

Institution

Unit

Venue

William Scherlis

Professor and Director

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

William Scherlis is currently serving as a School Of Computer Science Professor and Director at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

William Scherlis

Carnegie Mellon University

Professor and Director

You can click a keyword to filter the displayed items

computer science software engineering communication systems engineering information technology software analysis program analysis design software design social media information science mass communication concurrent programming data type human-computer interaction distributed collaboration abstract data types machine learning social technologies design fragments internet paradox alternative uses group process design automation higher education software evolution concurrency control user interfaces design culture organization studies human relations human decision process design frameworks group communication compiler technology program derivation functional programming software development process limited specifications social involvement residential internet services team performance program improvement undergraduate computer science group decision wireless communications architectural design graphic interface decision science behavioral decision making information society design language sequential decision making decision analysis automated decision-making intelligent decision making individual decision making formal specification concurrency theory real-time collaboration code generation code representation image coding data coding algebraic coding theory color correction data representation software frameworks biomedical data analysis ai healthcare psychological well-being homenet field trial alert preferences paview profile internal specialization carnegie-mellon curriculum technology security management information security management computer security information assurance data security information security cybersecurity education software assurance

Notable Scholarly Works

Notable Federal Grants

Collaborators

Design Dimensions for Software Certification: A Grounded Analysis. arXiv (Cornell University) (2019)

design theorysystems engineeringdesign researchdesign dimensionssoftware analysissoftware assurancequality engineeringsoftware designsoftware qualitydesignsoftware engineeringdesign culturesoftware certification

Communication and Information. Routledge eBooks (2017)

Jorge Reina Schement

communicationinformation science

Proceedings of the Symposium and Bootcamp on the Science of Security. (2016)

William L. ScherlisDavid Brumley

Seminal Papers in Software Engineering: The Carnegie Mellon Canonical Collection. (2015)

Mary ShawJonathan AldrichTravis D. BreauxDavid GarlanChristian KästnerClaire Le GouesWilliam L. Scherlis

software engineeringseminal papers

Systemic Assurance. (2015)

William ScherlisJonathan AldrichTravis D. BreauxDavid GarlanChristian KastnerClaire Le GouesBradley SchmerlJoshua Sunshine

systems engineeringsystemic assurancerisk management

In-Nimbo Sandboxing. (2014)

Michael MaassWilliam L. ScherlisJonathan Aldrich

systems engineeringin-nimbo sandboxingmachine learning

ATTENTIVENESS: Design for Reactivity at Scale.. International Journal of Software and Informatics (2011)

Gregory S. HartmanWilliam L. Scherlis

informaticscomputer sciencesystems engineeringsoftware designdesign

Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties. (2010)

William L. ScherlisT. J. Halloran

computer sciencesoftware engineeringmechanical program propertiesanalysis-based verification

Composable Thread Coloring. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2010)

Dean F. SutherlandWilliam L. Scherlis

computer sciencecomposable thread coloringmachine learningcolor correction

SOFTWARE: The Endless Value Spiral. (2009)

William L. Scherlis

software engineering economicssoftware economicseconomicssoftware engineeringendless value spiral

1
2
3
4
5
17
10 / page

William Scherlis

Professor and Director

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

William Scherlis is currently serving as a School Of Computer Science Professor and Director at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

William Scherlis

Carnegie Mellon University

Professor and Director

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Design Dimensions for Software Certification: A Grounded Analysis. arXiv (Cornell University) (2019)

Communication and Information. Routledge eBooks (2017)

Jorge Reina Schement

communicationinformation science

Proceedings of the Symposium and Bootcamp on the Science of Security. (2016)

William L. ScherlisDavid Brumley

Seminal Papers in Software Engineering: The Carnegie Mellon Canonical Collection. (2015)

Mary ShawJonathan AldrichTravis D. BreauxDavid GarlanChristian KästnerClaire Le GouesWilliam L. Scherlis

software engineeringseminal papers

Systemic Assurance. (2015)

William ScherlisJonathan AldrichTravis D. BreauxDavid GarlanChristian KastnerClaire Le GouesBradley SchmerlJoshua Sunshine

systems engineeringsystemic assurancerisk management

In-Nimbo Sandboxing. (2014)

Michael MaassWilliam L. ScherlisJonathan Aldrich

systems engineeringin-nimbo sandboxingmachine learning

ATTENTIVENESS: Design for Reactivity at Scale.. International Journal of Software and Informatics (2011)

Gregory S. HartmanWilliam L. Scherlis

informaticscomputer sciencesystems engineeringsoftware designdesign

Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties. (2010)

William L. ScherlisT. J. Halloran

computer sciencesoftware engineeringmechanical program propertiesanalysis-based verification

Composable Thread Coloring. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2010)

Dean F. SutherlandWilliam L. Scherlis

computer sciencecomposable thread coloringmachine learningcolor correction

SOFTWARE: The Endless Value Spiral. (2009)

William L. Scherlis

software engineering economicssoftware economicseconomicssoftware engineeringendless value spiral

1
2
3
4
5
17
10 / page

Similar Faculty Members

Jonathan Aldrich

Institution

Carnegie Mellon University

formal methods

electricity generation

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Bogdan Vasilescu

Institution

Carnegie Mellon University

software practice

information system planning

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Anita Sarma

Institution

Oregon State University

ai education

multidisciplinary ai

Randal Bryant

Institution

Carnegie Mellon University

reliability

formal verification

Laura Dabbish

Institution

Carnegie Mellon University

social psychology

remote collaboration

Vaidy Sunderam

Institution

Emory University

scalability

massively-parallel computing

Shihong Huang

Institution

Carnegie Mellon University

clinical decision support system

brain computer interaction

Similar Faculty Members

Jonathan Aldrich

Institution

Carnegie Mellon University

formal methods

electricity generation

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Bogdan Vasilescu

Institution

Carnegie Mellon University

software practice

information system planning

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Anita Sarma

Institution

Oregon State University

ai education

multidisciplinary ai

Randal Bryant

Institution

Carnegie Mellon University

reliability

formal verification

Laura Dabbish

Institution

Carnegie Mellon University

social psychology

remote collaboration

Vaidy Sunderam

Institution

Emory University

scalability

massively-parallel computing

Shihong Huang

Institution

Carnegie Mellon University

clinical decision support system

brain computer interaction