جستجوی استاد راهنمای دانشگاهی

• Concurrency and Mobility
• Security
• Computational Models for Biological Systems
• +۳ مورد دیگر

Pierpaolo Degano is a full Professor at the Dipartimento di Informatica of Università di Pisa since November 1990. He served as Department Head (1993-1996) and currently chairs the Computer Science PhD program within the Galileo Galilei School of Excellence. His roles include Vice-Chair of the 'Galileo Galilei' School (since 2009), Chairman of the Italian Committee for PhD Programs in Computer Science (since 2007), and member of the Scientific Committee of CoSBi (Microsoft Research - University of Trento Centre for Computational and Systems Biology). Education: Extensive academic background inferred from his professorship and leadership roles Research Interests: Focuses on operational methods in concurrency, semantics of programming languages, security, program verification, and computational models for biological systems. His work bridges theoretical foundations with practical applications in distributed systems and formal methods. Publications: Over 200 papers on theoretical computer science, including seminal works on concurrency semantics, mobile processes, and security protocols. Recent contributions emphasize causal semantics, abstract machines for performance evaluation, and formal analysis techniques. Grants & Projects: Led national and EU projects like DEGAS (FET), SENSORIA (FET), and participated in ESPRIT initiatives. Engaged in multiple research collaborations with institutions like Hewlett-Packard and Microsoft Research. Labs/Teams: Co-director of CoSBi, focusing on computational systems biology, and leader of the Operational Methods in Concurrency research group.

Alexander Miguel Monzonمشاهده پروفایل

دانشیار

• Bioinformatics
• Structural Biology
• Protein Science
• +۴ مورد دیگر

Alexander Miguel Monzon is an Associate Professor in the Department of Information Engineering at the University of Padova, Italy, specializing in non-globular proteins including disordered and repetitive proteins. His work has significantly advanced bioinformatics through co-authorship of critical databases like DisProt, RepeatsDB, MobiDB, PED, and FuzDB, which represent the state-of-the-art in structural biology for non-globular proteins. Education: PhD in Basic and Applied Sciences (2018), National University of Quilmes, Argentina MSc in Bioinformatics (2012), National University of Entre Ríos, Argentina His research focuses on protein aggregation, structured tandem repeats, and intrinsic disorder. Recent work explores AI integration in protein research, conformational ensemble modeling, and sustainable computational methods. His publications span structural biology, database development, and machine learning applications. Monzon actively participates in international consortia including COST-action NGP-net, MSCA RISE IDPfun, REFRACT, H2020 Twinning PhasAGE, and serves as main proposer of the COST action ML4NGP. He has contributed to community standards for machine learning reporting in biology via the DOME Registry.

Fabrizio Fornariمشاهده پروفایل

استادیار

• Internet of Things (IoT)
• Digital Twins
• Business Process Management (BPMN)
• +۶ مورد دیگر

Fabrizio Fornari is an Assistant Professor in Computer Science at the University of Camerino (Italy), focusing on cutting-edge technologies like Internet of Things (IoT), Digital Twins, and Business Process Management (BPMN). His work bridges theoretical modeling with practical implementations, emphasizing formal verification and modern software development practices. Research Pillars: IoT programming paradigms (Fluidware, FloWare), Digital Twin applications for business processes, and formal BPMN verification. Technical Contributions: Development of model-driven frameworks (X-IoT, FloBP), 3D simulation tools for IoT platforms, and BPMN analysis utilities (BPMN Inspector, BProVe). Domain Applications: Earthquake response systems (SAFE), intelligent transportation data flows, and educational IoT test environments. Methodological Focus: Community detection algorithms for routine extraction, CI/CD optimization for databases, and systematic literature reviews on IoT-aware BPMN modeling. Collaborative Efforts: Active involvement in MIDas4CS workshops and repository platforms for process model sharing (RePROSitory).

Silvio Tosattoمشاهده پروفایل

استاد

• Bioinformatics
• Computational Biology
• Structural Biochemistry
• +۴ مورد دیگر

Silvio Tosatto is a Full Professor in Bioinformatics at the Department of Biomedical Sciences, University of Padua, Italy, where he has led the BioComputing UP lab since 2007. His research focuses on bioinformatics and computational biology, particularly structural and mechanistic aspects of complex protein systems, with applications in cancer and neuronal signaling networks. Specializes in protein sequence, structure, folding, function, and interaction analysis Active in ELIXIR infrastructure and European consortia (COST Action NGP-net, Pfam, InterPro) Develops methodologies for predicting cellular signaling mechanisms in cancer (VHL/HIF pathways) and neurodevelopmental disorders (e.g., RETT-like syndromes) His lab has secured over €6.3 million in grants, including AIRC My First Grant , FIRB Futuro in Ricerca , and Ministero della Salute - Giovani Ricercatori . His work has produced 130+ peer-reviewed publications with an H-index of 35 and over 4,300 citations. As a scientific leader, he coordinates international initiatives like the Marie-Sklodowska Curie RISE consortia and chairs editorial boards for journals including Current Protocols in Bioinformatics and Amino Acids . He has commercialized software tools (e.g., PASTA, RING) with pharmaceutical companies.

PAOLO CRIPPAمشاهده پروفایل

دانشیار

• Biomedical Signal Processing
• Embedded Systems
• Neural Networks
• +۵ مورد دیگر

Prof. Paolo Crippa is an Associate Professor at the Department of Information Engineering (DII) of the University of Ancona (Università Politecnica delle Marche), Italy. His research focuses on biomedical signal processing, embedded systems, and wearable technology for healthcare applications. He specializes in neural networks, sensor design, and nanoelectronics, with notable contributions to graphene-based biosensors and real-time gesture recognition systems. His work bridges electronics, machine learning, and healthcare, addressing challenges in disease diagnosis, activity monitoring, and assistive living technologies. Prof. Crippa’s publications emphasize the development of low-power, high-accuracy systems for applications such as EEG-based disease classification, wearable sensors for activity recognition, and SARS-CoV-2 detection using advanced materials. His recent work includes optimizing LSTM neural networks for embedded platforms and integrating multimodal sensors (PPG, IMU, sEMG) for health monitoring. His research trends reveal a strong emphasis on applying machine learning to biomedical signals, improving sensor synchronization, and leveraging nanotechnology for diagnostic tools. He also explores open-source hardware/software co-design frameworks for system-on-chip (SoC) development. Prof. Crippa’s contributions extend to international collaborations and interdisciplinary projects, reflecting his role in advancing both theoretical and applied aspects of information engineering.

Andrea Corradiniمشاهده پروفایل

استاد

• Computer Science
• Programming Languages
• Concurrency
• +۵ مورد دیگر

Andrea Corradini is a Full Professor at the Computer Science Department of the University of Pisa , where he coordinates internationalization efforts. His research focuses on algebraic and categorical semantics of programming languages, concurrency, graph grammars, and term rewriting systems. He teaches advanced programming courses and has advised numerous students in their academic and research endeavors. His recent work spans ecological studies on wildlife behavior, machine learning applications, and formal methods in software engineering. Teaching: Advanced Programming (Master's level) Fondamenti dell'Informatica (Bachelor's level) Research Interests: Formal semantics of programming languages Graph transformation systems Concurrency theory Applications of category theory in computer science Recent Research Trends: His publications explore interdisciplinary topics, including wildlife behavioral ecology (e.g., brown bears, lynx), machine learning for material science, and formal verification techniques. Recent studies highlight human impacts on animal behavior and innovative computational methods for ecological modeling. Scientific Contributions: Dr. Corradini has coordinated international projects like ASCENS and GETGRATS, advancing graph transformation theory. His work bridges theoretical foundations with practical applications in software systems and ecological conservation.

• Remote Sensing
• Satellite Image Processing
• Wireless Sensor Networks
• +۳ مورد دیگر

Maurizio Spadavecchia serves as an Associate Professor at the Polytechnic University of Bari, Italy, specializing in engineering disciplines under SSD ING-INF/07. His research bridges theoretical signal processing with practical environmental and energy applications through satellite imagery analysis, sensor networks, and medical instrumentation. His core research focuses on Remote Sensing (particularly water body monitoring via SNOWED dataset), Wireless Sensor Networks for distributed environmental data collection, and Battery Health Monitoring using data-driven approaches. Recent projects include Po River monitoring via Sentinel-2 imagery, deep learning-based coastline measurement, and smartphone-based vital sign tracking systems. His work consistently integrates convolutional neural networks for signal analysis in infrastructure and ecological contexts. Analysis of his 2021-2025 publications reveals a strong trend toward AI-enhanced environmental monitoring, with 60% of recent papers applying deep learning to satellite image segmentation and water edge detection. Parallel research streams address lithium-ion battery diagnostics (20% of publications) and medical signal processing (20%), demonstrating interdisciplinary expertise spanning environmental science, energy systems, and biomedical engineering.

Paolo Baldanمشاهده پروفایل

استاد

• Formal Methods for Software Reliability
• Programming Languages
• Concurrency Theory
• +۶ مورد دیگر

Paolo Baldan is a Professor of Computer Science at the Department of Mathematics of the University of Padova, where he maintains office 6DA6. Previously, he served as an assistant professor at the University of Venice's Computer Science Department and as a PostDoc Researcher at the University of Pisa's Department of Computer Science. His research focuses on Formal Methods for Software Reliability and Programming Languages , with particular expertise in Concurrency Theory, Petri Nets, and Graph Transformation Systems. Professor Baldan has led multiple research projects including the current MUR Project RAP (2023-2025) and previous initiatives like ASPRA (2019-2022) and ANCORE (2015-2016). His publication record spans journal articles, conference papers, and technical reports in theoretical computer science. His recent work examines resource awareness in programming, program analysis techniques, and verification of concurrent systems. The publications demonstrate consistent contributions to formal methods with applications to software reliability. Professor Baldan actively participates in the academic community through conference organization and committee work, including involvement with CALCO, Petri nets conferences, and ICGT. His upcoming commitments include CSL 2026. He teaches courses including Computability , Languages for Concurrency and Distribution , and Algorithms and Data Structures at the University of Padova. Office hours are held Wednesdays 11:00-13:00, requiring advance contact for meetings.

Didier Galmicheمشاهده پروفایل

استاد

• Computer Science
• Proof Theory
• Automated Deduction
• +۲ مورد دیگر

Didier Galmiche is a Professor of Computer Science at Université de Lorraine, where he serves as Scientific Leader of the TYPES Group (Logic, Proof Theory and Programming) and Director of the Master Programme in Computer Science. He directs the DEPEND Erasmus Mundus Joint MSc in Advanced Systems Dependability. His research centers on computational logic, automated deduction, and formal verification, with specific interests in proof-search methods, substructural logics, and logical modeling of concurrent systems. The TYPES group develops software tools for theorem proving including IBiS, SigBi, STRIP, and BILL. Recent publications focus on separation logic, epistemic logics, and tableaux methods, demonstrating applications in program verification and automated reasoning. His work shows consistent innovation in proof-theoretic approaches across intuitionistic, linear, and non-commutative logics. He leads multiple research initiatives including the OPERATION CONTRA project studying logical methods for system reliability. No scientific awards are mentioned in the provided materials. Galmiche heads the TYPES group at LORIA UMR 7503, collaborating with researchers including Nicolas Biri and Daniel Mery.

Antonio Cammiمشاهده پروفایل

استاد

• Nuclear Engineering
• Thermal Fluid Dynamics
• Fusion Energy Systems
• +۴ مورد دیگر

Prof. Antonio Cammi is a distinguished academic focusing on advanced nuclear technologies and thermal-fluid systems. His research integrates computational modeling, experimental validation, and innovative engineering solutions for fusion energy systems, molten salt reactors, and high-performance thermal management. Key areas include gyrotron design for plasma heating, remote maintenance systems for fusion facilities, and reactor safety through multiphysics analysis. He actively contributes to international projects like JUNO (neutrino detection), IFMIF-DONES (fusion materials testing), and EU-DEMO (demonstration fusion reactor). His work bridges fundamental physics with applied engineering, addressing challenges in reactor core dynamics, fuel cycle optimization, and computational efficiency. Notable methodologies include reduced order modeling (ROM), data assimilation techniques, and hybrid simulation approaches. Cammi collaborates with institutions like ENEA (Italian National Agency for New Technologies), ITER, and the University of Pavia (TRIGA reactor). Research interests span fusion plasma physics, advanced reactor materials, neutron radiation effects, and sustainable nuclear energy economics. His team develops novel tools for reactor safety assessment, including digital twins and real-time monitoring systems. Current projects emphasize high-flux testing infrastructure, passive safety systems, and modular reactor designs for next-generation energy systems.

Leonardo Giannantoniمشاهده پروفایل

پژوهشگر

• Computer architectures
• Computer aided design
• Computer graphics
• +۱۰ مورد دیگر

Leonardo Giannantoni is a PhD Student in Control and Computer Engineering at the Polytechnic University of Turin (2021-2024) and a current Research Engineer at the same institution. His work focuses on bio-inspired and AI-driven algorithms for modeling, simulating, and optimizing complex systems, with applications in synthetic biology , structural biology , and healthcare technology . Education PhD in Control and Computer Engineering (2024, Polytechnic University of Turin) MSc in Computer Engineering (2016, Polytechnic University of Turin) BSc in Computer Engineering (2014, Polytechnic University of Turin) Giannantoni's research spans multiple domains, including reinforcement learning for genetic networks , co-simulation in biofabrication , and virtual reality rehabilitation systems for Parkinson's disease. His work integrates machine learning with biological modeling , leveraging parallel computing and software engineering principles. Recent publications highlight his expertise in AI-driven structural biology , synthetic oscillatory networks , and privacy tools like tracker blockers. His Biology System Description Language (BiSDL) provides a framework for multicellular synthetic biological systems design. Scientific Contributions Member of the Focus Group of Researchers (2023-) Giannantoni has served as a Teaching Assistant for courses on Systems Programming and Algorithms , and contributed to open-source projects like nwn-petrisim (Petri Nets simulator) and microgp4 (evolutionary computing toolkit). His work bridges academic research and practical software development for complex systems.

• Theoretical Computer Science
• Distributed Systems
• Reversible Computation
• +۱ مورد دیگر

Claudio Antares Mezzina is an Associate Professor in the Department of Pure and Applied Sciences at the University of Urbino Carlo Bo, specializing in theoretical computer science with research focus areas in reversible computation, distributed systems, and formal methods. Research Focus: His work centers on developing formal models for concurrent and distributed systems, particularly exploring reversible computational frameworks, Petri net applications in biochemical systems, and operational semantics for process algebras. Teaching: Mezzina teaches advanced courses including Distributed Applications and Cloud Computing, Software Engineering and Architecture, and Distributed Systems, with materials often available in both Italian and English.

Lea Petrellaمشاهده پروفایل

استاد

• Quantile regression
• Graphical models
• Random Forest
• +۳ مورد دیگر

Lea Petrella is a Full Professor at the Department of Methods and Models for Economics, Territory, and Finance, Sapienza University of Rome. She teaches courses in Time Series Analysis and Advanced Statistical Methods , focusing on practical applications using R software. Research Interests: Quantile regression, Graphical models, Hidden Markov Models, Risk measures, and Time Series analysis Key Projects: Generalized Dynamic Graphical Models for pandemic impacts, Penalized quantile regression for risk assessment, Multivariate quantile regression frameworks Her recent publications include: 2025: Mid-quantile mixed graphical models for public shootings 2025: Spatial quantile random forests for economic mobility 2024: Expectile hidden Markov models for cryptocurrency returns 2024: Mixed-frequency quantile regressions for risk forecasting She supervises postdocs and PhD students including Maria Saiz, Beatrice Foroni, and Valentina Raponi. Her work spans financial risk modeling, environmental statistics, and biomedical applications. Email: Lea.Petrella@uniroma1.it or lea.petrella@uniroma1.it

Wil van der Aalstمشاهده پروفایل

استاد

• Process Mining
• Petri Nets
• Business Process Management
• +۷ مورد دیگر

Prof. Wil van der Aalst is a full professor at RWTH Aachen University leading the Process and Data Science (PADS) group. He holds part-time affiliations with multiple institutions, including the Fraunhofer-Institut für Angewandte Informationstechnik (FIT) , Technische Universiteit Eindhoven (TU/e) , and Queensland University of Technology (QUT) . Additionally, he is a distinguished fellow of Fondazione Bruno Kessler (FBK) and serves on the Board of Governors of Tilburg University . His research focuses on process mining , leveraging business process management , Petri nets , and process modeling to analyze and optimize workflows. His work intersects with software engineering , big data , and data engineering , emphasizing the application of data science to process-aware systems. Wil van der Aalst has been recognized with numerous scientific awards, including the prestigious Alexander-von-Humboldt Professorship (2018), doctor honoris causa from Hasselt University (2012), and Distinguished University Professor title at TU/e (2013). He is an IFIP Fellow and elected member of several European academies. He has co-chaired major academic conferences such as Business Process Management , IEEE International Conference on Services Computing , and Petri Nets . His editorial contributions span journals like Business & Information Systems Engineering and IEEE Transactions on Services Computing . He advises organizations including Celonis and Fluxicon and has been cited over 100,000 times (h-index 148).

Cuno Lorenz Klopfensteinمشاهده پروفایل

پژوهشگر ارشد

• Software Architecture
• UI/UX Design
• Mobile Application Development
• +۴ مورد دیگر

Cuno Lorenz Klopfenstein serves as a Research Fellow and Teaching Contract Holder at the University of Urbino Carlo Bo's Department of Pure and Applied Sciences (DiSPeA). He teaches courses including Mobile Devices and UI Programming, Software Applications and Mobile Programming, and Digital Land Management Systems across multiple degree programs. His research interests focus on software architecture , UI/UX design , and Windows application development . Klopfenstein has made significant contributions to open-source projects such as WindowsFormsAero, a library providing modern Windows UI features for .NET applications, and SmartRoadSense, a crowdsensing road quality tracking application developed at the University of Urbino. His work demonstrates expertise in full-stack development with particular proficiency in .NET technologies and Windows platform development. Klopfenstein actively contributes to GitHub projects and engages with the developer community through issue discussions and feature implementations. He has been consistently teaching through the 2025/2026 academic year, indicating ongoing academic engagement at the institution.