• 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

NovaProcure

Prototype

Authors

Marco Correia, Jorge Cruz,
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA LINCS receives financial support from FCT via project:

UID/04516/2025

NOVA LINCS receives financial support from European Union – NextGenerationEU via projects:

UID/PRR/04516/2025

UID/PRR2/04516/2025