AeroLeads people directory · profile
Luca Di Stefano Email & Phone Number
University Assistant
at
Technische Universität Wien
1 work email found
@imtlucca.it
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Current company
Role
University Assistant
Location
Vienna, Vienna, Austria
Who is Luca Di Stefano? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Luca Di Stefano is listed as University Assistant at Technische Universität Wien, based in Vienna, Vienna, Austria. AeroLeads shows a work email signal at imtlucca.it and a matched LinkedIn profile for Luca Di Stefano.
Luca Di Stefano previously worked as Postdoctoral Researcher at University Of Gothenburg and Supply teacher (Vacataire d'enseignement superieur) at Polytech Paris-Saclay. Luca Di Stefano holds Doctor Of Philosophy - Phd, Computer Science from Gssi - Gran Sasso Science Institute.
Company email context
Email format at Technische Universität Wien
This section adds company-level context without repeating Luca Di Stefano's masked contact details.
{first}.{last}@imtlucca.it
86% confidence
AeroLeads found 1 current-domain work email signal for Luca Di Stefano. Compare company email patterns before reaching out.
Profile bio
About Luca Di Stefano
My research mainly concerns the formal modelling and analysis of agent-based models of complex collective systems. On one hand, this entails the development of formally defined high-level languages to concisely describe the features of individual agents; on the other hand, it requires applying and improving state-of-the-art verification techniques to check the collective behaviour of the resulting system.Keywords associated with my interests include: (Modelling): Agent-based modelling, Attribute-based communication, Collective adaptive systems, Domain-specific languages, Multi-agent systems, Process algebras, Stigmergic interaction, Structural operational semantics, Temporal logics; (Analysis): Bounded model checking, Explicit-state and symbolic model checking, Software verification, Static analysis.
Listed skills include Microsoft Office, C#, Microsoft Word, Microsoft Excel, and 12 others.
Current workplace
Luca Di Stefano's current company
Company context helps verify the profile and gives searchers a useful next step.
Technische Universität Wien
Website
AeroLeads page
12 roles
Luca Di Stefano work experience
A career timeline built from the work history available for this profile.
University Assistant
Current
Mar 2024 - Present
Postdoctoral Researcher
May 2022 - Feb 2024
Supply Teacher (Vacataire D'Enseignement Superieur)
"Modelling and Verification". 36-hour course for Master's students (filière apprentissage). Held in English.
Mar 2022 - Apr 2022
Postdoctoral Researcher
Researcher at the CONVECS team (Construction of Verified Concurrent Systems).
Nov 2020 - Apr 2022
Supply Teacher (Vacataire D'Enseignement Superieur)
"Modelling and Verification". 36-hour course for Master's students (filière apprentissage). Held remotely, in English.
Apr 2021 - May 2021
Grant Holder
Dec 2019 - Nov 2020
Student Representative
Student representative in the academic senate
Feb 2018 - Oct 2020
Nov 2016 - Oct 2020
Mar 2019 - Jul 2019
Intern
Workshop Planning and Lines Industrialization internship.Goals: maintenance of legacy system for production traceability; migration of data and business logic towards SQL Server; Maintenance and development of internal client applications.Microsoft SQL Server, Access, Excel, Visual Basic for Applications.
Jun 2015 - Feb 2016
Stagista
Internship for my Bachelor's thesis. Design and development of a publishing platform and a multi-platform mobile client (targeting Android and Windows Phone). C#, Windows Communication Foundation, Microsoft SQL Server 2012, ASP.NET Web API, Xamarin.
Dec 2013 - Feb 2014
3 education records
Luca Di Stefano education
Doctor Of Philosophy - Phd, Computer Science
Master'S In Computer Science And Systems Engineering (Ingegneria Informatica E Automatica), Ingegneria Informatica, 110/110 Cum Laude
Computer Science And Systems Engineering (Ingegneria Informatica E Automatica), 104
FAQ
Frequently asked questions about Luca Di Stefano
Quick answers generated from the profile data available on this page.
What company does Luca Di Stefano work for?
Luca Di Stefano works for Technische Universität Wien.
What is Luca Di Stefano's role at Technische Universität Wien?
Luca Di Stefano is listed as University Assistant at Technische Universität Wien.
What is Luca Di Stefano's email address?
AeroLeads has found 1 work email signal at @imtlucca.it for Luca Di Stefano at Technische Universität Wien.
Where is Luca Di Stefano based?
Luca Di Stefano is based in Vienna, Vienna, Austria while working with Technische Universität Wien.
What companies has Luca Di Stefano worked for?
Luca Di Stefano has worked for Technische Universität Wien, University Of Gothenburg, Polytech Paris-Saclay, Inria, and Imt School For Advanced Studies Lucca.
How can I contact Luca Di Stefano?
You can use AeroLeads to view verified contact signals for Luca Di Stefano at Technische Universität Wien, including work email, phone, and LinkedIn data when available.
What schools did Luca Di Stefano attend?
Luca Di Stefano holds Doctor Of Philosophy - Phd, Computer Science from Gssi - Gran Sasso Science Institute.
What skills is Luca Di Stefano known for?
Luca Di Stefano is listed with skills including Microsoft Office, C#, Microsoft Word, Microsoft Excel, Ricerca, C, Php, and Servizi Web Restful.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Luca Di Stefano you were looking for.
View similar profiles
