• 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

AI Fights Space Debris

Concluded

01/05/2022 - 30/04/2025

Team

Claudia Soares, João Leite, Ricardo Gonçalves, Matthias Knorr, Jorge Cruz, Filipa Valdeira,

A machine leaning-based forecasting system for shellfish safety

MATISSE Concluded

01/04/2020 - 31/03/2023

Team

Marta Belchior Lopes, Ludwig Krippahl, Pedro Barahona, Jorge Cruz, Susana Nascimento,

Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications

PROCURE Concluded

01/05/2013 - 31/10/2015

Team

Pedro Barahona, Jorge Cruz, Marco Correia, Elsa Carvalho, Pedro Sousa, Laurent Granvillier, Alexandre Goldsztejn,

Restrict to Plan

RtP Concluded

01/09/2013 - 30/06/2016

Team

Pedro Barahona, Jorge Cruz, Marco Correia,

Probabilistic Reasoning for Constraints in Science and Engineering

PRECISE Concluded

01/04/2005 - 01/03/2008

Team

Pedro Barahona, Jorge Cruz,

Improving Constraint Solving to Predict Protein Structure

PROTEIN Concluded

01/01/2000 - 01/01/2003

Team

Pedro Barahona, Jorge Cruz, Ludwig Krippahl, Marco Correia,
  • 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