M

Matthias Felleisen Source Confirmed

Affiliation confirmed via AI analysis of OpenAlex, ORCID, and web sources.

High Impact

Researcher

John Brown University

faculty

60 h-index 318 pubs 12,456 cited

Research Areas

Logic, programming, and type systems Software Engineering Research Advanced Software Engineering Methodologies Formal Methods in Verification Parallel Computing and Optimization Techniques

Links

ORCID

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Matthias Felleisen's work encompasses logic, programming, and type systems, with a focus on advanced software engineering methodologies. His research utilizes formal methods in verification, alongside parallel computing and optimization techniques. Recent investigations delve into gradual types, exploring methods to evaluate blame in these systems. Felleisen's work also includes comparative analyses of typed-untyped interactions and the semantics of typed languages.

Metrics

h-index: 60
Publications: 318
Citations: 12,456

Selected Publications

Artifact for "Navigating Mixed-Typed Migration with Profilers" (2025) DOI

Collaborators

Researchers in the database who share publications

Ben Greenman John Brown University 11 shared publications Lukas Lazarek John Brown University 4 shared publications

Similar Researchers

Based on overlapping research topics

Ben Greenman John Brown University

Logic, programming, and type systems Software Engineering Research Formal Methods in Verification

Albert L. Baker University of Arkansas at Little Rock

Logic, programming, and type systems Software Engineering Research Advanced Software Engineering Methodologies

ZhuoHan Li John Brown University

Logic, programming, and type systems Software Engineering Research Parallel Computing and Optimization Techniques

Shriram Krishnamurthi John Brown University

Logic, programming, and type systems Software Engineering Research Parallel Computing and Optimization Techniques

Michael Lowry University of Arkansas for Medical Sciences

Logic, programming, and type systems Software Engineering Research Formal Methods in Verification

Nicolas Stouls Lyon College

Logic, programming, and type systems Advanced Software Engineering Methodologies Formal Methods in Verification