World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
82
Citations
31990
World Ranking
948
National Ranking
517

Research.com Recognitions

  • 2020 - ACM Fellow For the development of logical methods for design and verification of computational systems

Overview

José Meseguer is affiliated with the University of Illinois at Urbana-Champaign in the United States. Their research primarily spans the field of engineering, with a focus on biomedical engineering, education, materials chemistry, condensed matter physics, and information systems.

Meseguer's scholarly contributions involve multiple topics, including:

  • Advanced Sensor and Energy Harvesting Materials
  • Material Dynamics and Properties
  • Theoretical and Computational Physics
  • Graphene and Nanomaterials Applications
  • Dielectric Materials and Actuators
  • Green IT and Sustainability
  • Additive Manufacturing and 3D Printing Technologies

The scientist has published articles in several venues, notable among these are:

  • EDULEARN proceedings
  • Polymers
  • Crystal Growth & Design
  • INTED proceedings
  • Journal of Non-Crystalline Solids

Recent papers authored include:

  • "Bio-Nanocomposite Hydrogel Based on Zinc Alginate/Graphene Oxide: Morphology, Structural Conformation, Thermal Behavior/Degradation, and Dielectric Properties," 2020, Polymers
  • "Effect of Ionic Liquid Content on the Crystallization Kinetics and Morphology of Semicrystalline Poly(vinylidene Fluoride)/Ionic Liquid Blends," 2020, Crystal Growth & Design
  • "Crystallization Monitoring of Semicrystalline Poly(vinylidene fluoride)/1-Ethyl-3-methylimidazolium Hexafluorophosphate [Emim][PF6] Ionic Liquid Blends," 2021, Crystal Growth & Design
  • "Relaxation in non-Markovian models: From static to dynamic heterogeneity," 2021, Journal of Non-Crystalline Solids
  • "Active methods in electricity and magnetism courses: Influence of degree, academic level and gender on student performance," 2023, Heliyon

The researcher has frequently collaborated with the following co-authors:

  • José Molina-Mateo
  • José A. Gómez-Tejedor
  • Jaime Riera
  • Isabel Tort-Ausina
  • María-Antonia Serrano

In recognition of their contributions to computational systems, José Meseguer was awarded the ACM Fellow distinction in 2020 for the development of logical methods for design and verification of computational systems.

Best Publications

  • Security Policies and Security Models

    J. A. Goguen;J. Meseguer

  • Conditional rewriting logic as a unified model of concurrency

    José Meseguer;José Meseguer

  • All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

    Manuel Clavel;Francisco Durán;Steven Eker;Patrick Lincoln

  • Maude: specification and programming in rewriting logic

    Manuel Clavel;Francisco Durán;Steven Eker;Patrick Lincoln

  • Principles of OBJ2

    Kokichi Futatsugi;Joseph A. Goguen;Jean-Pierre Jouannaud;José Meseguer

  • The Maude 2.0 system

    Manuel Clavel;Francisco Duran;Steven Eker;Patrick Lincoln

  • Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

    Joseph A. Goguen;Joseph A. Goguen;José Meseguer;José Meseguer

  • Membership algebra as a logical framework for equational specification

    José Meseguer

  • Unwinding and Inference Control

    Joseph A. Goguen;Jose Meseguer

  • Petri nets are moniods

    José Meseguer;Ugo Montanari

  • Initiality, induction, and computability

    J Meseguer;J A Goguen

  • A logical theory of concurrent objects and its realization in the Maude language

    José Meseguer

  • Principles of Maude

    Manuel Clavel;Steven Eker;Patrick Lincoln;José Meseguer

  • Rewriting Logic as a Logical and Semantic Framework

    Narciso Martí-Oliet;José Meseguer

  • EQLOG: Equality, Types, and Generic Modules For Logic Programming.

    Joseph A. Goguen;José Meseguer

  • Specification and proof in membership equational logic

    Adel Bouhoula;Jean-Pierre Jouannaud;José Meseguer

  • The Maude LTL Model Checker

    Steven Eker;José Meseguer;Ambarish Sridharanarayanan

  • Unifying functional, object-oriented and relational programming with logical semantics

    Joseph A. Goguen;José Meseguer

  • Semantics and pragmatics of Real-Time Maude

    Peter Csaba Ölveczky;José Meseguer

  • Completeness of many-sorted equational logic

    J. A. Goguen;J. Meseguer

Frequent Co-Authors

Joseph A. Goguen
Joseph A. Goguen University of California, San Diego
Carolyn L. Talcott
Carolyn L. Talcott SRI International
Catherine Meadows
Catherine Meadows United States Naval Research Laboratory
Patrick Lincoln
Patrick Lincoln SRI International
Ugo Montanari
Ugo Montanari University of Pisa
Grigore Rosu
Grigore Rosu University of Illinois at Urbana-Champaign
Vladimiro Sassone
Vladimiro Sassone University of Southampton
Indranil Gupta
Indranil Gupta Dalhousie University
Gul Agha
Gul Agha University of Illinois at Urbana-Champaign
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education in the USA offers students flexibility and accessibility in pursuing Computer Science and related fields. There are a variety of associates degrees online that provide a strong foundation in tech, making it easy to start a career or eventually transfer to a four-year college.

Affordability is a key concern for many learners. Fortunately, students can take advantage of cheap online college classes, helping to minimize debt while maximizing learning opportunities. These affordable courses often cover core Computer Science subjects and essential general education requirements.

Admissions flexibility is another important factor. Many learners can find a college that accepts low gpa, opening doors to professional growth, even for those with a less traditional academic background.

Career pathways extend beyond programming or IT. For example, Computer Science majors can work in fields such as data analysis, cybersecurity, and even environmental tech. Interested in environmental applications? Discover what jobs can you get with an environmental science degree to see the interdisciplinary opportunities available.

Best Scientists Citing José Meseguer

Trending Scientists

Recently Published Articles