معرفی
Riccardo Marchesin is a PhD student in Mathematics at the University of Trento, concurrently serving as a Tutor in the Department of Mathematics and Department of Industrial Engineering. His academic role involves supporting teaching activities in courses such as Analisi e geometria (DISPARI) and Informatica. He is affiliated with the doctoral programme in Mathematics at the university's Department of Mathematics.
Education: PhD candidate in Mathematics (University of Trento).
Research Interests: Combines mathematical foundations (analysis and geometry) with theoretical computer science, focusing on imperative programming principles, recursive definitions, and formal program verification. His teaching activities reflect expertise in both mathematical logic and practical programming constructs.
Teaching Contributions:
- Course Tutor for Analisi e geometria in Industrial Engineering.
- Course Tutor for Informatica, covering programming fundamentals and formal semantics.
Labs/Teams: Not explicitly mentioned in available records.
