• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
NOVA LINCS

Jorge Cruz

Jorge Cruz is (since November 2003) an Assistant Professor of Computer Science in the Department of Computer Science of the Faculty of Science and Technology of the New University of Lisbon. He obtained his PhD in Computer Science at the New University of Lisbon in 2003, with the dissertation "Constraint Reasoning for Differential Models" and Prof. Pedro Barahona as supervisor. Before that, he obtained an MSc in Computer Science at the New University of Lisbon in 1995 and is a Computer Science Engineer since 1989. His primary research interests include: - Non Linear Constraints over Continuous Domains - Uncertainty Representation and Reasoning with Interval Constraints - Constraints for Differential Equations

People

Publications Projects Graduations Prototypes Seminars

Probabilistic Constraint Reasoning

Concluded

03/09/2007 - 26/11/2012 / PhD

Post-Graduation by: Elsa Carvalho

Constraint Reasoning for Differential Models

Concluded

01/01/1900 - 14/11/2003 / PhD

Post-Graduation by: Jorge Cruz
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UID/PRR/04516/2025

UID/04516/2025