Find Academic Supervisors

• Machine Learning
• Cybersecurity
• IoT (Internet of Things)
• +3 more

Eugenio Grippo is a Visiting Assistant Professor in the Computer Science department at Occidental College and an Adjunct Professor in Data Science at Pacific States University. He holds a Ph.D. and M.S. in Electrical Engineering from the University of Southern California (USC), and a degree in Automation and Industrial Control Engineering from Universidad Nacional de Quilmes (Argentina). His research focuses on cybersecurity, IoT systems, machine learning, decentralized finance, robotics, and power grid control, with notable contributions in DDoS attack detection and grid curvature theory applications. Education: Ph.D./M.S. in Electrical Engineering, University of Southern California (USC) Automation and Industrial Control Engineer, Universidad Nacional de Quilmes (UNQUI) Postdoctoral studies in Electrical and Computer Engineering (ECE) at USC Research Interests: Machine learning for cybersecurity and IoT DDoS attack detection and network defense mechanisms Power grid stability and congestion management using mathematical curvature theory Decentralized finance and blockchain-based market systems Robotics and collaborative autonomous systems Publications Trends: Recent work emphasizes cybersecurity in IoT environments, tactical network synthesis for military applications, and power grid optimization using curvature-based models. Key contributions include neural network frameworks for DDoS detection and dynamic automated market makers for decentralized exchanges. Labs & Affiliations: Previously affiliated with USC's ANRG (Autonomous Network Research Group) and ICAROS Lab (Interactive and Collaborative Autonomous Robotics Lab). Current roles include teaching and research at Occidental College and Pacific States University.

Tingting YuView profile

Associate Professor

• Software Engineering
• Software Testing
• Software Architecture
• +3 more

Tingting Yu is an Associate Professor in the Department of Computer Science and Engineering at the University of Connecticut. Her research focuses on software engineering, software testing, AI-driven methodologies, and domain-specific applications in bioinformatics and cyber-physical systems. She holds a Ph.D. and M.S. from the University of Nebraska-Lincoln (2014 and 2010), advised by Dr. Gregg Rothermel and Dr. Witawas Srisa-an. Dr. Yu’s work emphasizes empirical analysis, automated testing frameworks, and leveraging AI to enhance software quality. She has authored over 60 publications in top venues like IEEE TSE, ACM TOSEM, ICSE, and ISSTA. Her contributions include tools like RecDroid for Android bug reproduction and Dinodroid using deep reinforcement learning for testing. Awards: ACM SIGSOFT Distinguished Paper Award (2016), NSF CAREER Award (2017) Service: Editorial board member of Empirical Software Engineering Journal; roles in ICSE, ASE, and ISSTA organizing committees Her research bridges theoretical advancements with practical applications, particularly in concurrency bug prediction, mobile app testing, and smart contract auditing through hybrid symbolic execution and LLMs. She actively contributes to software engineering for societal impact, including work on configuration profiling and cloud management stack analysis.

Massimo LazzariView profile

Professor

• Polymer Degradation
• Cultural Heritage Conservation
• Surface Enhanced Raman Spectroscopy (SERS)
• +4 more

Massimo Lazzari is a Professor at the Department of Physical Chemistry , Faculty of Chemistry , University of Santiago de Compostela . He leads the Center for Research in Biological Chemistry and Molecular Materials (CIQUS) and has held previous roles at the University of Turin and USC (Ramon y Cajal contract, 2005-2010). His work bridges polymer science , cultural heritage conservation , and nanotechnology , with a focus on SERS substrates , fluorescence spectroscopy , and plastic degradation in art. Education: PhD in Polymer Degradation from the Consorzio fra Università di Genova, Pavia, e Torino (1996) Advisor: Prof. Oscar Chiantore Research Interests: Lazzari investigates the chemical stability of polymers in 3D art objects, non-invasive analytical methods (e.g., SERS, fluorescence imaging), and nanotechnology-driven conservation tools . He develops fluorinated acrylic copolymers for stone protection and studies plastic degradation markers via SERS. His work addresses environmental impacts of synthetic/natural polymers and adsorption technologies for wastewater treatment. Article Trends: Recent publications highlight polymer degradation mechanisms , bio-based carbon materials for heavy metal removal, and microbial enzyme discovery for plastic biodegradation. Key subfields include adsorption engineering , nanoporous carbon design , and predictive models for plastic aging in cultural artifacts. Grants & Fellowships: Borsa Federchimica (1991) Italian Ministry PhD Scholarship (1992-1995) EU Science & Technology Postdoc, Osaka University (1996-1997) Marie Curie Fellowship, USC (2003-2004) Ramón y Cajal Contract (2005-2010)

• Process Mining
• Blockchain Technology
• Declarative Process Models
• +3 more

Tijs Slaats is an academic affiliated with the University of Copenhagen, Denmark. His work focuses on process mining, blockchain technology, and declarative process modeling. He has contributed to advancements in declarative frameworks like Dynamic Condition Response Graphs (DCRGs) and their applications in adaptive case management, smart contracts, and legal adjudication systems. His research bridges computer science, distributed systems, and business process management. Research interests include declarative process models, blockchain sharding protocols, formal verification of event-driven systems, and the integration of machine learning with legal processes. His work emphasizes practical applications in finance, healthcare, and public administration through collaborative projects like BRFkredit and the EcoKnow initiative. Recent articles highlight innovations in process discovery algorithms, smart contract security, and scalable blockchain solutions. His contributions span theoretical frameworks and real-world implementations, often involving interdisciplinary collaborations with institutions like Algorand and the Danish Refugee Council.

Ivan GavranView profile

Researcher

• Formal Verification
• Reinforcement Learning
• Multi-Robot Systems
• +3 more

Ivan Gavran is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied aspects of computer science. His primary research interests include formal verification, reinforcement learning, multi-robot systems, and cyber-physical systems. He explores the intersection of formal methods with machine learning and robotics, aiming to create robust, provably correct systems. His work emphasizes practical applications such as smart contract verification, human-robot collaboration, and distributed task planning. He has developed tools like Lassie for interactive theorem proving and Antlab for multi-robot task coordination. Gavran’s contributions bridge theoretical computer science with real-world systems, addressing challenges in security, reliability, and scalability. While no formal awards are listed in the provided text, his publications reflect significant engagement with leading conferences in formal methods and robotics. His research often involves collaborative projects, leveraging MPI-SWS’s interdisciplinary environment to tackle complex problems in distributed systems and artificial intelligence.

Johnnatan MessiasView profile

Researcher

• Blockchain governance
• Decentralized finance
• Network transparency
• +1 more

Johnnatan Messias is a Research Scientist at the Max Planck Institute for Software Systems (MPI-SWS), specializing in blockchain governance, decentralized finance, and network transparency. He holds a Ph.D. in Computer Science from MPI-SWS in collaboration with Universität des Saarlandes, advised by Prof. Krishna P. Gummadi. His work focuses on improving fairness and accountability in decentralized systems through empirical analysis of blockchain transactions and governance mechanisms. Primary research areas include DeFi protocol vulnerabilities, blockchain scalability solutions (especially rollups), and transparency in transaction ordering. He develops measurement tools like Glasnost for detecting network differentiation and SatelliteLab for heterogeneous network testing. Recent work examines governance centralization in DeFi, arbitrage dynamics in layer-2 systems, and economic sustainability of token distribution mechanisms. Publications demonstrate consistent methodological innovation in analyzing blockchain data, combining network measurements, statistical modeling, and game-theoretic frameworks. Key contributions include revealing voting power concentration in DAOs, quantifying rollup performance during inscription surges, and detecting opaque transaction prioritization in Bitcoin and Ethereum. His empirical studies have exposed systemic issues like miner collusion in fee markets and arbitrage inefficiencies in AMMs. Dr. Messias has contributed to academic service as program committee member for FC, AFT, WWW, and other major conferences. He developed open-source tools including WhatsApp Monitor for tracking misinformation and public datasets for ZK-Rollup research. Current projects investigate the impact of inscriptions on EVM networks and design frameworks for decentralized insurance on blockchain infrastructures.

• Macroeconomics
• Innovation Economics
• Disruptive Innovation
• +4 more

Simon Zemp serves as Head of Program and Lecturer at the Lucerne School of Computer Science and Information Technology, Lucerne University of Applied Sciences and Arts, with additional appointments in economics and business administration across the university's business school and continuing education divisions. His work bridges academic research and practical application in digital governance and economic policy. He holds a Dr.rer.pol. (doctorate), mag.rer.pol. (master's), and lic.rer.pol. (licentiate) in economics from the University of Fribourg, establishing foundational expertise in economic theory and institutional analysis. Zemp's research centers on digital transformation dynamics, emphasizing disruptive innovation in public administration and cognitive decision-making under uncertainty. He investigates how organizations develop adaptability through cognitive restructuring and competence building, particularly in volatile regulatory environments. His scholarship connects macroeconomic principles with agile methodologies, exploring intersections between institutional economics, behavioral psychology, and digital strategy implementation. His publication trajectory reveals an evolution from urban economics and banking regulation toward cognitive dimensions of digital change. Early work analyzed municipal finance and financial market structures, while recent research focuses on competence development in digital convergence and cognitive limits in risk assessment—highlighting consistent engagement with real-world economic challenges through both academic and practitioner outlets. As a member of the Friconomy research network since 2002 and leader of the Interdisciplinary Thematic Cluster on Digital Transformation of the Working World, Zemp directs the CAS Digitalization of Public Administration and 'Smart Steps' continuing education programs. His role in the city council of Sursee (2002-2017) further demonstrates applied policy engagement.

Constantinos PatsakisView profile

Associate Professor

• Cryptography
• Security
• Privacy
• +4 more

Constantinos Patsakis is an Associate Professor at the Department of Informatics, University of Piraeus, and an adjunct researcher at the Institute for the Management of Information Systems (IMIS) of Athena Research and Innovation Centre. He holds a Mathematics degree from the University of Athens, an M.Sc. in Information Security from Royal Holloway, University of London, and a PhD in Security from the University of Piraeus. Previously, he worked as a Researcher at the UNESCO Chair in Data Privacy at Rovira i Virgili University, a Research Fellow at Trinity College Dublin, and a Senior Researcher at the Luxembourg Institute of Science and Technology. His primary research areas include cryptography, security, privacy, data anonymization, malware analysis, and blockchain technology. With over 190 publications to his name, his work spans from theoretical security frameworks to practical applications in digital forensics and malware detection. He has contributed significantly to the development of datasets for security research, including the Malicious MS Office documents dataset, Social Live Streaming Service Grooming dataset, and the HYDRA dataset for Domain Generation Algorithm research. His recent publications (2024-2025) reveal a strong focus on emerging security challenges, with particular emphasis on LLM applications in security analysis, novel malware detection techniques, privacy-preserving protocols, and blockchain security. His work bridges academic research with practical security solutions, addressing both technical and human aspects of cybersecurity. As an editor for journals including Computers and Security, International Journal of Information Security, Scientific Reports, and Blockchain: Research and Applications, he plays a significant role in shaping the discourse in his field. He currently teaches undergraduate courses in Information & Code theory, Security Governance, Introduction to Computer Science, and Cryptography, as well as graduate courses in Digital Forensics & Malware Analysis, Cryptographic protocols, and Blockchain development. Principal Investigator for ALUNA (ISFP-2021-AG-CYBER) Coordinator for LAZARUS (HORIZON-CL3-2021-CS-01) Principal Investigator for Cut the Cord (ISFP-2020-AG-CYBER) Principal Investigator for HEROES (H2020-FCT-01-2020) His research group actively contributes to multiple EU-funded projects addressing critical cybersecurity challenges, with a particular focus on digital forensics, blockchain security, and privacy-preserving technologies. The team maintains strong collaborations with international institutions and industry partners, ensuring their research has real-world impact.

• Satisfiability Modulo Theories
• Automated Reasoning
• Formal Methods
• +3 more

Clemens Eisenhofer is a PreDoc Researcher at TU Wien's Institute of Logic and Computation within the Faculty of Informatics. His role combines doctoral research with active contributions to multiple funded projects, positioning him at the forefront of SMT solver development and formal methods research. His research centers on advancing Satisfiability Modulo Theories through innovations in bit-vector reasoning, non-classical logics, and custom theory integration. Key focus areas include enhancing Z3's capabilities for word-level operations, embedding proof calculi like connection calculus, and developing user-propagator frameworks. These efforts target practical applications in software verification, program analysis, and constraint solving, with direct implications for reliability-critical systems. Eisenhofer actively contributes to four major research initiatives: ARTIST (2021-2026) on automated reasoning foundations; SFB SPyCoDe (2023-2030) for cyber-physical systems verification; TAIGER (2023-2027) in theorem proving; and ForSmart (2023-2027) for smart contract analysis. These projects provide substantial computational resources and foster international collaborations, though he does not currently supervise students given his PreDoc status. His research operates within TU Wien's Institute of Logic and Computation—a leading European hub for formal methods—leveraging institutional expertise in computational logic and strong industry ties. The institute's collaborative environment supports his work on solver extensions while connecting theoretical advances to practical verification challenges across multiple domains.

• Software Engineering
• Cryptography
• Programming Languages
• +2 more

Christoph Hochrainer is a PreDoc Researcher at Technische Universität Wien, affiliated with the Software Engineering department. His academic role involves research in software systems and formal methods, supported by projects like ForSmart (2023–2027) and MirandaTesting (2023–2028). He completed his Diploma in automated reasoning at TU Wien in 2020. His research spans software engineering, cryptography, and programming languages, with specialized interests in fuzzing techniques, architecture description languages, and smart contract security. Recent work emphasizes zero-knowledge circuits, Solidity benchmarking, and macro systems for domain-specific tooling. Christoph's publications consistently explore automated testing and formal verification, with a trend toward practical applications in blockchain and secure software pipelines. He supervises student theses, including work on inconsistency detection in Solidity smart contracts. He contributes to collaborative projects focused on formal methods and software reliability, operating within TU Wien's research units. No scientific awards are documented.

Suhabe BugraraView profile

Associate Professor

• Smart Contract Security
• Cryptocurrency
• Blockchain Engineering
• +3 more

Dr. Suhabe Bugrara serves as an Associate Professor at Northeastern University's Silicon Valley campus within the Multidisciplinary Graduate Engineering Programs, teaching blockchain engineering and decentralized finance courses since joining in August 2023. Education: PhD in Computer Science, Stanford University (2015) His research centers on cryptocurrency and smart contract security , extending to blockchain engineering, decentralized finance, static analysis, and machine learning. Dr. Bugrara develops advanced security solutions for Ethereum-based systems through both academic research and industry applications, focusing on vulnerability detection and protocol optimization in decentralized environments. Publications demonstrate interdisciplinary expertise: the 2014 healthcare operations study addresses resource allocation in medical settings, while the 2013 computer security paper pioneers state-redundancy techniques for symbolic execution. Both reflect his methodological rigor in solving complex system optimization problems. No formal scientific awards are documented in the source material. Dr. Bugrara maintains active industry engagement with no university-affiliated advisees mentioned; he serves as Chief Technology Officer at State Space Systems while leveraging prior experience from Landing AI and co-founding the acquired medical software company Wise OR. His technical leadership spans security auditing for ConsenSys projects and development across Go, Java, C/C++, Python, Rust, and Kubernetes platforms.

• Service-Oriented Computing
• Edge Intelligence
• Blockchain
• +6 more

Dr. Hai Dong is a Senior Lecturer at the School of Computing Technologies, RMIT University, Melbourne, Australia. He leads the Smart Sensing and Services Research Area and directs the GreenCryptoLab, a joint laboratory with CloudTech. He chairs the IEEE Task Force on Deep Edge Intelligence and has held roles including Research Fellow at Curtin University and RMIT. Education: PhD (Curtin University), BEng (Northeastern University, China), Graduate Certificate in Learning & Teaching (Distinction) His research focuses on Edge Intelligence, Blockchain, AI Security, and Cyber Security. He has published 150+ articles in top venues like TIFS, ICML, and ICSOC, securing over $5M in research funding from ARC, CRC, and industry partners. Recent work emphasizes Green Cryptocurrency systems and federated learning applications. His awards include the 2023 RMIT Industry Engagement Award and Best Paper recognitions in ICSOC and IEEE ICBC. Supervision: Active in guiding PhD/Master students in AI Security, Edge Computing, and Blockchain. Grants: Major projects include Green Bitcoin platforms and secure crypto payment systems. Labs: GreenCryptoLab collaborates on sustainable blockchain tech and secure edge systems.

Brian BrennerView profile

Professor

• Structural Engineering
• Concrete Design
• Bridge Analysis and Design
• +4 more

Brian Brenner is a Professor of the Practice in the Department of Civil and Environmental Engineering at Tufts University's School of Engineering. He holds a B.S. and M.S. in Civil Engineering from MIT (1982, 1984). His research focuses on structural health monitoring integration in bridge design, 3D finite element modeling, and long-term bridge performance evaluation. He teaches courses like Bridge Engineering, Concrete Design, and Introduction to Engineering. Professional activities include editorial roles in journals such as Journal of Structural Engineering and Leadership and Management in Engineering . He has received awards including Tufts’ Teacher of the Year (2016, 2018) and the Henry and Madeline Fisher Award (2008). His grants include NSF-funded work on long-term bridge design (2008-2010) and FHWA-funded bridge monitoring (2011-2012). Brenner serves as a Principal at Stantec and has consulted on bridge design projects. His publications span structural analysis, engineering education, and infrastructure resilience, with over 120 scholarly works. His work bridges academia and industry, emphasizing practical applications of civil engineering principles.

Yuvraj GajpalView profile

Associate Professor

• Transportation and Logistics
• Vehicle Routing
• Combinatorial Optimization
• +3 more

Yuvraj Gajpal is an Associate Professor in the Supply Chain Management Department at the Asper School of Business, University of Manitoba. He holds a Ph.D. in Management Science from McMaster University and a Master's from IIT Madras. His research applies heuristics and meta-heuristics to transportation, logistics, and supply chain optimization, with publications in journals like Computers and Operations Research and European Journal of Operations Research . Prior to Manitoba, he worked at King Fahd University of Petroleum and Minerals (KFUPM) and completed a postdoc at CIRRELT. Research Focus: Vehicle routing, combinatorial optimization, sustainable logistics, and retail supply chain management using algorithms like Ant Colony and Tabu Search. Publications: Recent work (2021-2024) addresses healthcare scheduling, e-commerce strategies, IoT waste systems, and pandemic testing logistics, reflecting a strong emphasis on real-world optimization challenges.

Yutian TangView profile

Assistant Professor

• AI+SE (Large-language Model+SE)
• Program Analysis
• Empirical Software Engineering
• +4 more

Dr. Yutian Tang is an Assistant Professor at the University of Glasgow's School of Computing Science. He holds a Ph.D. from The Hong Kong Polytechnic University and a B.Sc. from Jilin University. His research focuses on AI-driven software engineering, program analysis, and mobile app security, with over 40 publications in top venues like ESEC/FSE and IEEE TSE. He has received awards including the ISSRE'18 Best Industry Paper and Shanghai Pujiang Talent Program. Current research emphasizes automated testing, bug localization, and LLM applications in software engineering. Education: Ph.D., Department of Computing, The Hong Kong Polytechnic University B.Sc., Computer Science, Jilin University Research Interests: His work spans AI+SE (Large Language Models in Software Engineering), automated testing, privacy protection, and malware detection. Notable contributions include XDebloat (app debloating) and tools for analyzing Android vulnerabilities. He actively explores LLM applications for code generation and test suite optimization. Grants & Funding: EPSRC Peer Review College member National Natural Science Foundation of China (NSFC) grant (2023-2025) OpenAI API Researcher Access Program (2024) Google Cloud Research Credits (2024) Service & Leadership: Editorial Board Member of Frontiers in Computer Science , PC member of ICSE, ESEC/FSE, ASE, and other top conferences. Active in reviewing for IEEE Transactions and ACM journals. Future Directions: Tool support for automated bug detection, LLM integration in software lifecycle, and large-scale binary code analysis.