Aarhus University logo
Find
Dansk
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Department of
Computer Science
Research
Cryptography and Cybersecurity
Human-Centered Computing
Programming Languages, Logic, and Software Security
Algorithms, Data and Artificial Intelligence
Publications
PhD Studies
Education
Bachelor
Master
PhD
CS Alumni
Information for international students
Continuing education
Study environment
Meet our graduates
Graduation
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
News
Events
CS Colloquium
Camps and Competitions
About Us
Code of Conduct
Strategy towards 2030
Organisation
Welcome to new colleagues at CS
Anniversary
Employees
Honorary doctor and professors
Vacancies
Contact
Management and Heads of Sections
Researchers
All employees
Press contacts
Gymnasiesamarbejde
Contact
Management and Heads of Sections
Researchers
All employees
Press contacts
Gymnasiesamarbejde
Alessandro Sosso
Title
Research Assistant
Primary affiliation
Department of Computer Science
One other affiliation
Other affiliations
Department of Computer Science
CV
Areas of expertise
Automated Theorem Proving
Formal Reasoning
LLM
Agentic AI
Program Verification
Contact information
Email address
Send email
sosso@cs.au.dk
Copy email address
More
Aarhus N
Email address
sosso@cs.au.dk
Copy email address
Adresse
Alessandro Sosso
Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
View on map
See PURE profile
Copy address
Selected publications
Scroll backward
Scroll forward
Use arrow keys on your keyboard to explore
Revised 01.09.2025
