جست‌وجوی استاد و پژوهشگر

Dimitar Petrovمشاهده پروفایل

دانشیار

• Static Analysis
• Cybersecurity
• Blockchain Smart Contracts
• +۵ مورد دیگر

Dr. Dimitar Petrov is an Associate Professor in Computer Science at Ca’ Foscari University of Venice, specializing in static analysis and cybersecurity. He is affiliated with ETH Zürich's Institute of Pharmaceutical Sciences (IPW) as staff under Tit.-Prof. Jörg Scheuermann. His research focuses on applying abstract interpretation-based methods to detect security vulnerabilities in systems ranging from blockchain smart contracts to IoT devices. Education details are not explicitly provided in the text, but his extensive publication history indicates advanced expertise in formal methods. His research interests include software verification, privacy enforcement, and the application of static analysis tools like LiSA across diverse domains such as robotics, microservices, and mobile applications. Key research trends in his articles emphasize blockchain security (smart contract vulnerabilities, consensus protocols), IoT/IoMT security (device interactions, privacy policies), and the integration of machine learning with program analysis. His work bridges academic research with industry challenges, addressing compliance with regulations like GDPR and the EU Data Act. Prior to his current roles, he has contributed to open-source frameworks like LiSA and collaborated on projects involving automated policy extraction, cross-language analysis, and vulnerability detection in automotive systems. His research group at Ca’ Foscari actively engages in both theoretical advancements and practical tool development. Labs/Teams: Part of the Software and System Verification group at Ca’ Foscari, and collaborates with ETH Zürich's Institute of Pharmaceutical Sciences on interdisciplinary projects combining formal methods with healthcare technology.

Luca NEGRINIمشاهده پروفایل

پژوهشگر

• Static Analysis
• Blockchain Technology
• Computer Science
• +۳ مورد دیگر

Luca Negrini is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics of Ca' Foscari University of Venice. He is affiliated with the Research Institute for Complexity. His work focuses on static analysis techniques applied to blockchain smart contracts, formal methods, and software verification. He contributes to projects like the LiSA framework for multilanguage static analysis and has published extensively on topics such as Hyperledger Fabric security, Tezos smart contracts, and ROS2 security policies extraction. Research interests include blockchain technology, static analysis methodologies, formal verification, and concurrency issues in distributed systems. Recent work emphasizes detecting vulnerabilities in smart contracts (e.g., read-write issues, phantom reads) and developing tools for automated policy extraction in robotics and microservices. He collaborates closely with academic and industry partners, as evidenced by numerous co-authored articles in venues like IEEE Access and ACM conferences. Publications reflect a trend toward addressing security and correctness in distributed systems, with a focus on practical applications of formal methods. His contributions bridge theoretical computer science with real-world challenges in blockchain and software engineering. No scientific awards are explicitly mentioned in the provided texts.

• Static Analysis
• Software Engineering
• Program Verification
• +۴ مورد دیگر

Peter FERRARA is an Associate Professor in Computer Science at Ca' Foscari University of Venice, Italy. He joined the university in November 2019 as a tenure-track assistant professor and transitioned to his current rank. His primary affiliation is with the Department of Environmental Sciences, Computer Science and Statistics (D.A.I.S.) and the Research Institute for Complexity. He is part of the Software and System Verification group and maintains an active role in the Temporary Center Innovation Ecosystem Project. Education: Holds a PhD in Computer Science (2009) from École Polytechnique (Paris) and Ca' Foscari University of Venice, advised by Radhia Cousot and Agostino Cortesi. Completed his MA (2005) and BA (2003) in Computer Science from Ca' Foscari. Defended his thesis at École Normale Supérieure in May 2009. His research experience spans 15 years, with 50+ publications and 20 patents, focusing on static analysis for software reliability and security. Research Interests: Specializes in applying abstract interpretation theories to enhance software security, reliability, and performance. Recent work emphasizes static analysis of mobile and .NET systems, blockchain smart contracts, IIoT vulnerabilities, and automated policy enforcement. He bridges formal methods with practical software development, addressing challenges in precision-efficiency tradeoffs and industrial tool adoption. Industry Experience: From 2013-2019, worked in industry as Head of R&D at JuliaSoft SRL (2016–2019) and IBM Research (2013–2015). Developed commercial static analysis tools, managed research projects, and delivered technical presentations to clients. His work focused on transitioning research into deployable solutions. Teaching: Instructs courses in Object-Oriented Programming, Software Architectures, and Coding/Data Management. Engages students through practical LiSA framework experiences. Has taught at ETH Zurich (2009–2013) and supervised over a dozen students across PhD, Master's, and Bachelor's levels. Awards: No specific scientific awards listed, but recognized through extensive patent portfolio and impactful industry-academia collaborations. Holds 20 patents, including innovations in permissions extraction, privacy enforcement, and malware detection. Grants & Projects: Involved in multiple research projects from proposal to execution, including EU Data Act analysis, IoT security frameworks, and blockchain verification initiatives. Collaborates with institutions like IBM, Microsoft Research, and the University of Verona's JuliaSoft spin-off. Labs/Teams: Active in the Software and System Verification group at Ca' Foscari. Co-developed the LiSA static analysis framework. Engages in interdisciplinary projects combining robotics, IoT, and blockchain domains.

Hrishikesh Desaiمشاهده پروفایل

دانشیار

• Accounting regulation
• Fraud examination
• Corporate governance
• +۱۸ مورد دیگر

Dr. Hrishikesh Desai is an Associate Professor of Accounting with Tenure at Arkansas State University (A-State), where he also serves as the Director of the Master of Accountancy (MAcc) with Data Analytics program within the Neil Griffin College of Business. He holds a Ph.D. in Accounting from the University of Melbourne and has prior academic experience as a Tutor at the University of Melbourne and a Chazen Visiting Scholar at Columbia Business School. Research Interests: His research spans a broad spectrum of contemporary accounting issues, including accounting regulation, fraud examination, corporate governance, executive compensation, financial reporting, emerging technologies (particularly AI and blockchain), judgment and decision-making, inter-firm relationships, sustainability reporting, social media disclosures, healthcare economics, personal finance, and taxation. Recent Research Trends: His recent publications (2023–2025) reveal a strong focus on the integration of artificial intelligence and blockchain into accounting education, auditing, and regulatory compliance. Key themes include the use of conversational AI for fraud detection, explainable AI for financial audits, blockchain applications in curricula and smart contracts, and the impact of AI tools like ChatGPT on accounting education. His work combines empirical, experimental, and theoretical methods to address practical challenges in modern accounting. Scientific Awards & Honors: Outstanding Reviewer Award, AFAANZ Conference (2024) Notable Contribution to the Literature Award, AAA AIS Section (2024) CMA Opportunity Scholarship, IMA (2023) Excellence in Reviewing Awards, AAA IAS and FARS Sections (2022) Multiple scholarships and awards from the University of Melbourne and other institutions Advising and Grants: Dr. Desai actively supervises student research, with his advisees winning awards at university symposia and securing competitive research grants. He has secured significant external research funding, including a $25.61 million Arkansas Department of Human Services contract (2025), a $2.07 million DHS grant (2024), and multiple grants from ADHE, ABI, ACFE, and internal university sources, demonstrating strong research leadership and external support. Professional Engagement: He is actively involved in the academic and professional community, serving as a faculty advisor for the CFA Institute Research Challenge and delivering invited presentations on AI, blockchain, and cybersecurity in accounting at conferences such as ARCPA and ICAI.

Vincenzo Arceriمشاهده پروفایل

استادیار

• Static Program Analysis
• Abstract Interpretation
• String Analysis
• +۵ مورد دیگر

Vincenzo Arceri serves as an Assistant Professor (non-tenure) in the Department of Mathematical, Physical and Computer Sciences at the University of Parma. Previously, he held a postdoctoral position at Ca' Foscari University of Venice (2019-2021) following his 2020 PhD completion at the University of Verona, where he also earned his Bachelor's (2014) and Master's (2016) degrees in Computer Science. His academic trajectory demonstrates continuous progression in static analysis research. His educational foundation includes: PhD in Computer Science (2020), University of Verona MSc in Computer Science (2016), University of Verona BSc in Computer Science (2014), University of Verona Arceri's research centers on static program analysis with specialization in string analysis for dynamic languages, abstract interpretation frameworks, and blockchain security verification. He has developed novel techniques for smart contract analysis across Ethereum (EVMLiSA), Hyperledger Fabric, and Tezos platforms, addressing critical issues like cross-contract invocations and read-write conflicts. His work bridges theoretical formal methods with practical security applications in decentralized systems. Recent publications (2023-2025) reveal a strategic research pivot toward blockchain verification, comprising 60% of his output. Key contributions include the Tarsis string domain for automata-based analysis, LiSA framework extensions for multi-language support, and specialized tools for EVM bytecode. His work consistently addresses precision-performance tradeoffs in abstract interpretation while expanding into machine learning applications for code analysis. Arceri actively seeks research collaborators, stating he "is always looking for strong and motivated students to work with me." His projects EVMLiSA, LiSA, and Tarsis demonstrate sustained research funding through GitHub maintenance and industrial collaborations like the GoLiSA experience report. He has developed curricular materials for graduate courses including Static Analysis and Software Verification at Parma. He maintains active connections with the Software and System Verification research group, previously at Ca' Foscari University of Venice and currently through open-source contributions at University of Parma. His GitHub repositories and Zulip community engagement foster collaborative development of static analysis tools, particularly for blockchain applications.

Fuyuki Ishikawaمشاهده پروفایل

دانشیار

• Dependability in Cyber-Physical Systems
• Machine Learning Systems Engineering
• Formal Methods
• +۱۰ مورد دیگر

Fuyuki Ishikawa is an Associate Professor at the Information Systems Architecture Science Research Division of the National Institute of Informatics (NII) in Tokyo, Japan, where he also serves as Director of the GRACE Center. Additionally, he holds positions as an Associate Professor at Sokendai (The Graduate University for Advanced Studies) and as a Visiting Associate Professor at The University of Electro-Communications, focusing on Trustworthy & Smart Software Engineering. His research spans multiple institutions and international collaborations, with a strong emphasis on dependable software systems. Dr. Ishikawa's research interests focus on "Smart Systems and Smart Dependability Assurance," with particular emphasis on dependability in Cyber-Physical Systems and Machine Learning Systems. His work investigates techniques of verification, reasoning, optimization, automated test generation, and self-adaptation by making use of various models for requirements, specifications, and designs. Key research areas include Formal Methods (Formal Specification, Refinement), Testing (Search-based Testing, Model-based Testing), Goal-Oriented Requirements Analysis, Self-Adaptation (Models@run.time), and Machine Learning Systems Engineering. His research also extends to Service-Oriented Computing, Cloud Computing, IoT, and Cyber-Physical Systems, particularly in automotive applications. Analysis of Dr. Ishikawa's recent publications reveals a strong focus on applying formal methods and search-based techniques to ensure the reliability of AI-enabled systems, particularly in safety-critical domains. His work increasingly addresses challenges in testing and repairing deep neural networks within cyber-physical contexts, with significant contributions to autonomous driving systems verification. There's also a growing interest in quantum-classical hybrid systems and the application of evolutionary computation to software engineering problems. His research bridges theoretical formal methods with practical industrial applications, often through large-scale collaborative projects. Dr. Ishikawa has received numerous prestigious awards: Awards for Science and Technology (Research Category) by the Minister of Education (April 2024) IPSJ/IEEE Computer Society Young Researcher Award (March 2020) Multiple Best Paper Awards at ICFEM, SEKE, ICECCS, and ISSRE Best Artifact Award at ISSTA 2015 Dr. Ishikawa leads the Ishikawa Lab at NII, which participates in several major research projects including the ERATO-MMSD Project, MIRAI-eAI Project, REFENG Project, and PerQAS Project. His lab consists of members from different organizations and actively promotes international and industry-academia collaborations. He also offers internship opportunities through NII for students interested in trustworthy software engineering, particularly focusing on generative AI applications and testing of AI systems.

Nobuko Yoshidaمشاهده پروفایل

استاد

• Theory of Computing
• Concurrency
• Type Theory
• +۲ مورد دیگر

Nobuko Yoshida is a Professor in the Department of Computer Science at the University of Oxford. Her research centers on theoretical foundations of concurrent and distributed systems, with a focus on type theory and programming languages. Affiliation: University of Oxford Research Interests: Theory of Computing, Concurrency, Type Theory, Programming Languages, Distributed Systems Conference Involvement: Active in POPL, ECOOP, ICFP, OOPSLA, PPDP, and ST30 tracks Her recent work analyzes multiparty session types, asynchronous/synchronous communication models, timed protocols, and type refinements for distributed systems. Key contributions include advancements in protocol specification, endpoint projection, and formal verification of concurrent systems. Yoshida has authored or co-authored publications at leading venues including ECOOP, ST30, and OOPSLA. Her articles emphasize compositional reasoning for multiparty sessions, hybrid protocol designs, and robustness in distributed environments with crash-stop failures. These works intersect with subfields such as session type theory, formal verification, and specification-agnostic implementation techniques.

• Game Research
• Serious Games
• Extended Reality (VR/AR/MR)
• +۷ مورد دیگر

Elif Surer is an Associate Professor and Associate Director at Middle East Technical University's Graduate School of Informatics, Department of Multimedia Informatics. She leads the Entertainment Computing and Interactive Systems Laboratory (ECISLab) and actively contributes to METU's entrepreneurship initiatives through GIMER (Entrepreneurship Research Center). Her academic leadership extends to international projects including EU Horizon Europe initiatives and collaborations with institutions like Stanford University's University Innovation Fellows program. Dr. Surer's research focuses on the intersection of game technologies, extended reality, and practical applications across diverse domains. Her work spans serious games for CBRNe (Chemical, Biological, Radiological, Nuclear, and Explosive) training, virtual reality applications for mining safety, archaeological visualization, and educational technology. She has developed frameworks for heterotopias as discursive playgrounds, modular serious game development for virtual laboratories, and advanced techniques in persona building for game design. Her interdisciplinary approach bridges computer science with fields like archaeology, healthcare, and occupational safety, creating innovative solutions that address real-world challenges through immersive technologies. Her publication record demonstrates consistent contributions to top journals including IEEE Transactions on Games, Virtual Reality, and JMIR Serious Games. Recent work shows increasing focus on biological network visualization in XR environments, advanced testing frameworks for deep learning systems, and sophisticated persona modeling techniques that go beyond traditional approaches. Her research trajectory reflects growing integration of AI with immersive technologies, particularly in specialized training applications and scientific visualization. METU Performance Awards (2020, 2021) Best Poster award at METU Graduate School of Informatics Open Research Day TÜBİTAK Above-Threshold-Awards Featured in Researchers Active in Technical Games Research list Dr. Surer actively supervises numerous graduate students across multiple projects, with recent completions including theses on clickbait detection, VR for mining safety, and adaptive serious games for children with learning difficulties. She leads significant research funding including EU Horizon Europe projects like eNOTICE-2 (focused on CBRNe training), the MR4MS project for mine safety, and the Quantum Flagship project QuTE4E. Her laboratory environment fosters collaboration between computer science, architecture, and other disciplines, creating opportunities for students to engage in cutting-edge research with practical applications. As director of ECISLab, she maintains strong connections with industry partners including METU Teknokent, and actively participates in entrepreneurship initiatives through METU GIMER. Her work with the University Innovation Fellows program demonstrates commitment to developing entrepreneurial skills among students, while her research on virtual reality applications continues to expand into new domains including healthcare, archaeology, and emergency response training.

Raymond Huمشاهده پروفایل

مدرس

• Programming Languages
• Distributed Systems
• Concurrency and Communication
• +۴ مورد دیگر

Dr. Raymond Hu is a Lecturer in Computer Science at Queen Mary University of London's School of Electronic Engineering and Computer Science (EECS). He holds a BA from the University of Cambridge and an MSc/PhD from Imperial College London. His research focuses on programming languages, distributed systems, type systems, and session types, with applications in concurrent and fault-tolerant systems. He collaborates with industry partners like Google, Red Hat, and the Ocean Observatories Initiative. Dr. Hu is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS, and actively contributes to academic conferences and workshops. Education: BA, University of Cambridge MSc, Imperial College London PhD, Imperial College London Research Interests: Dr. Hu's work spans programming language design, distributed systems, and formal methods. Key areas include session types for safe communication protocols, type systems for concurrency, and fault tolerance in distributed environments. His recent projects involve rate-based session types for IoT devices and generics in the Go programming language. Grants & Collaborations: He collaborates with industry leaders such as Google (on Go generics) and Cognizant, and has secured grants supporting projects like session-based protocols for embedded systems. He also organizes academic events like TIME 2025 and co-chairs workshops such as PLACES '24. Labs & Teams: Member of the Theory Group and Centre for Fundamental Computer Science, actively involved in protocol design and verification initiatives.

Philip Wadlerمشاهده پروفایل

استاد

• Theoretical Computer Science
• Functional Programming
• Programming Language Design
• +۱۱ مورد دیگر

Philip Wadler is a Professor of Theoretical Computer Science in the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh, a position he has held since 2003. He is also a Senior Research Fellow and Area Leader in Programming Languages at IOHK. His career includes prior academic roles at the University of Glasgow and research positions at Bell Labs and Avaya Labs. He is a principal designer of the Haskell programming language and a leading figure in programming language theory. Education: B.S. Stanford University (1977), Ph.D. Carnegie-Mellon University (1982), Postdoc Oxford University (1983–1987) Wadler's research focuses on the intersection of logic, types, and programming languages. His work has profoundly influenced functional programming, type systems, concurrency, and formal methods. Key contributions include the design of Haskell, the development of the blame calculus for gradual typing, Featherweight Java as a formal model, and the Links language for web programming. He has also worked extensively on XML standards (XQuery, XSLT) and the Curry-Howard correspondence, most notably through his widely acclaimed article "Propositions as Types". His current research, supported by an EPSRC Programme Grant, explores session types and concurrency. His recent publications (2015–2025) reveal a consistent focus on type theory, particularly blame calculus, gradual typing, session types, and formal verification for blockchain and smart contracts. There is a strong emphasis on logical foundations, parametricity, and the application of theoretical concepts to practical systems, especially in the context of modern programming challenges like concurrency and distributed systems. SIGPLAN Distinguished Service Award, 2016 ACM Fellow, 2007 Fellow, Royal Society of Edinburgh, 2005 Wolfson-Royal Society Research Merit Award, 2004–2009 Most Influential POPL Paper Award 2003 (for 1993) Best Paper Award, SBMF 2018 Wadler has advised numerous PhD and Master's students and has been actively involved in the academic community through editorial roles (e.g., Journal of Functional Programming, Journal of Financial Technology), program committees for major conferences (POPL, ICFP, HOPL), and leadership in ACM SIGPLAN. He has led significant research projects such as the EPSRC Programme Grant 'From Data Types to Session Types' and has contributed to outreach and education through extensive lecturing, tutorials, and public talks. He is associated with key research groups including the Laboratory for Foundations of Computer Science at Edinburgh and the ABCD project, and collaborates with institutions and industry partners on topics ranging from programming language design to blockchain technology.

Mira Meziniمشاهده پروفایل

استاد

• Software development paradigms and tools
• Programming systems for reliable distributed software
• Automated software analysis
• +۳ مورد دیگر

Mira Mezini is a Professor of Computer Science at the Technical University of Darmstadt, Germany, leading the Software Technology Lab. She serves on steering committees, program committees, and editorial boards of top-tier conferences and journals. Her affiliations include the National Research Center for Applied Cybersecurity ATHENE and co-directorship of hessian.AI, the Hessian Center for Artificial Intelligence. Her research focuses on programming systems for reliable distributed software and AI, automated software analysis, and foundational code models. She has developed large-scale module concepts for adaptability, extensible programming languages, and intelligent software development environments that leverage web-based resources to generate programming rules and patterns. Specializes in software engineering Expert in programming language design Contribution to cybersecurity and AI Her recent work emphasizes static analysis, distributed systems, and programming language design, with trends in API misuse detection, decentralized applications, and secure local-first programming. The focus spans from foundational type systems to practical tools enhancing software quality and developer productivity. Scientific Awards Two-time IBM Eclipse Innovation Award recipient (2005, 2006) Google Research Award (2017) Horst Görtz IT Security Award (2014) ERC Advanced Grant (2012) ACM Fellow Dahl-Nygaard Prize (2025) She has held leadership roles including Dean of Computer Science at TU Darmstadt (2013-2014) and Vice President positions (2014-2019). Her service extends to international juries, funding panels, and editorial boards. Labs & Teams Leads the Software Technology Lab at TU Darmstadt, driving research in programming paradigms and tools. Co-directs hessian.AI and contributes to the Excellence Cluster 'Reasonable Artificial Intelligence.'

Martin Steffenمشاهده پروفایل

استاد

• Programming Language Semantics
• Concurrency Theory
• Program Verification
• +۲ مورد دیگر

Martin Steffen is Professor at the Department of Informatics, University of Oslo, specializing in reliable systems. His research focuses on formal methods for program correctness, including semantics, verification, static analysis, and concurrency. His work spans programming language theory, compiler construction, and model checking, with applications to security and compositionality. Current projects include Syncopia (Synthesis and Analysis for Concurrent Programs) and contributions to the Concurrent Security and Robustness for Networked Systems initiative. Recent publications address railway system verification, data-race detection in Go, and memory model semantics. His teaching covers compiler construction, functional programming, and program verification methodologies.

• Formal Methods
• Programming Languages
• Concurrency Theory
• +۳ مورد دیگر

Marco Giunti is a Researcher at the University of Oxford's Department of Computer Science. His work focuses on formal methods, programming languages, and distributed systems, with a particular emphasis on session types, concurrency theory, and blockchain technology. He explores topics such as typestate systems, formal verification, and secure channel abstractions. Recent research highlights include advancements in iso-recursive multiparty sessions, blockchain consensus mechanisms (e.g., Lupin), and data-centric synchronization frameworks like AtomiS. His contributions bridge theoretical foundations with practical applications, addressing challenges in distributed systems and static analysis. Giunti's publications span technical reports and peer-reviewed articles, showcasing innovations in automated verification, type systems, and concurrency control. His work often emphasizes the intersection of formal methods and real-world distributed computing scenarios.

• Accounting Standards
• Digital Accounting
• Sustainability Reporting
• +۷ مورد دیگر

Andrea Fradeani is a Tenured Associate Professor of Business Economics at the Department of Economics and Law, University of Macerata. His academic career spans over two decades with significant contributions to accounting research, particularly in digital reporting standards and international frameworks. Fradeani serves on the editorial committees of SOCIETÉTÁ E CONTRATTI, BILANCIO E REVISIONE (since 2013) and The International Journal of Digital Accounting Research (since 2011). Fradeani's research focuses on national and international accounting standards, digital accounting systems, sustainability reporting, and corporate governance. His expertise extends to XBRL (eXtensible Business Reporting Language), IFRS (International Financial Reporting Standards), ESEF (European Single Electronic Format), and third sector accounting. He has led multiple research projects examining financial reporting quality under IFRS, implementation of mandatory IFRS disclosures, XBRL applications in public administration, and waste management systems. His scholarly work bridges theoretical accounting frameworks with practical business applications, particularly in the digital transformation of financial reporting. Analysis of Fradeani's recent publications reveals a consistent focus on the intersection of traditional accounting practices and digital innovation. His research demonstrates how emerging technologies like XBRL are transforming financial reporting, with particular attention to regulatory compliance, data standardization, and enhanced transparency. The publications show a progression from foundational XBRL implementation studies toward more complex applications in sustainability reporting, third sector accounting, and AI integration in corporate governance. His work consistently addresses both technical implementation challenges and broader implications for financial market integrity and corporate accountability. Fradeani actively supervises graduate students in the LM-77 and LM-16 programs at the University of Macerata, teaching courses including Extraordinary Operations and Value Creation and International Accounting Principles and Digital Accounting . His research has received funding for projects examining waste management systems and brand accounting, demonstrating practical applications of his theoretical work. He maintains regular office hours for student consultation, both in-person and remotely via Teams. As a chartered accountant and freelance journalist, Fradeani bridges academic research with professional practice. His multilingual capabilities (native Italian, proficient English, elementary German) support his international research collaborations across Europe and the Americas. His scholarly contributions have positioned him as a significant voice in the evolving landscape of digital financial reporting and international accounting standards.

• Computer Science
• Software Verification
• Static Analysis
• +۴ مورد دیگر

Pietro Ferrara is an Associate Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice. His research focuses on applying abstract interpretation-based static analysis to address security vulnerabilities in software systems, particularly in blockchain smart contracts, IoT devices, and distributed systems. He is a member of the Software and System Verification group and has contributed to frameworks like LiSA for multilanguage static analysis. Teaching responsibilities include courses such as Software Architectures, Object-Oriented Programming, and Introduction to Coding and Data Management across undergraduate and graduate programs. His work emphasizes formal verification techniques, cybersecurity, and privacy enforcement in modern software systems. Recent research explores static analysis for detecting concurrency issues in Hyperledger Fabric, vulnerabilities in Go-based smart contracts, and GDPR-compliant privacy analysis. Ferrara collaborates with industry on practical applications of formal methods, including security policy extraction for ROS2 and industrial blockchain software determinism. His research has been published in top venues such as ACM SAC and IEEE Access, with a strong focus on bridging theoretical program analysis with real-world software systems. He maintains an active presence in open-source tools and educational materials for static analysis techniques.