Launch week offerEnds in00h00m00s

annual Promonthly Pro

Alessandro Aldini

Associate professor

Università degli Studi di Udine

Italy

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Italy

Articles (19)

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2022

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Collaborators (5)

LUCA ARDITO

Assistant Professor

Politecnico di Torino

ITALY

View details

Pierluigi Graziani

Associate Professor

Università degli Studi di Udine

ITALY

View details

Claudio Antares Mezzina

Associate Professor

University of Bari Aldo Moro

ITALY

View details

Agata Ciabattoni

Full Professor

TU Wien

AUSTRIA

View details

Andrea Saracino

Associate Professor

Sant'Anna School of Advanced Studies

ITALY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Alessandro Aldini

Research Interests

Make your next move.

Explore related searches

Articles (19)

Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems

A Logical 3-valued Semantics for Nondeterministic Choice

On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret

Exploiting usage control for implementation and enforcement of security by contract

A logical perspective on intending to keep a true secret

A Rust Library for Behaviors Assessment in Software Certification

Dynamic Decentralized Social Trust for Financial Inclusion with Regulatory Compliance

Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis

Noninterference Analysis of Deterministically Timed Reversible Systems

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

Noninterference Analysis of Stochastically Timed Reversible Systems

Formalizing Errors in CCS with 3-Valued Logic

Support + Belief = Decision Trust

Towards Evaluating Large Language Models for Graph Query Generation

On the Modeling and Verification of Collective and Cooperative Systems

Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology

Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

The Italian Conference on Theoretical Computer Science

Collaborators (5)

LUCA ARDITO

Pierluigi Graziani

Claudio Antares Mezzina

Agata Ciabattoni

Andrea Saracino

Make your next move.