Find Academic Supervisors

Zhoulai FuView profile

Associate Professor

• Programming Language Theory and Implementation
• Program Analysis
• Testing and Verification
• +5 more

Zhoulai Fu is a tenured Associate Professor at the State University of New York (SUNY), Korea, specializing in programming languages and software security. He also holds joint appointments as a Research Associate Professor at Stony Brook University and is affiliated with the Electrical and Computer Engineering Department at Virginia Tech. His educational background includes: Ph.D., 2009-2013, INRIA – Université de Rennes 1, France M.Eng., 2008-2009, Télécom ParisTech, France M.S, B.S, and French engineer degrees (Ingénieur), 2005-2008, École Polytechnique, France Professor Fu's research focuses on the intersection of Programming Languages, Software Security, and Large Language Models, with special emphasis on improving software reliability through formal methods, numerical error analysis, and scalable verification techniques . His work spans abstract interpretation, automated testing, and verification tools development. He has made significant contributions to floating-point analysis and program verification, with publications at top-tier conferences including PLDI, POPL, OOPSLA, ICSE, and CAV. His publication record shows a consistent trajectory in programming language theory with increasing practical applications. Early work focused on foundational aspects of abstract interpretation and floating-point analysis, while recent papers address security concerns through programming language techniques and incorporate modern approaches like incorrectness logic. Key themes across his publications include formal verification of low-level code, numerical error analysis, and developing scalable analysis tools for real-world software systems. His notable achievements include: Principal Investigator for DARPA E-BOSS Program funding Sole Principal Investigator for National Research Foundation of Korea funding Program Committee membership for POPL 2026, FSE 2024, and PLDI 2023 Professor Fu actively mentors students and has taught courses including Foundations of Computer Science, Programming Abstractions, and Research in Computer Science. His research is supported by significant grants from DARPA and NRF, enabling him to lead the Data & Intelligent Computing Lab at SUNY Korea. He is currently seeking postdocs, PhD, and graduate students to join his research team. He leads the Data & Intelligent Computing Lab, which focuses on advancing programming language techniques for software reliability and security. The lab collaborates with institutions including Virginia Tech, Stony Brook University, and international partners across Europe, working on projects that bridge theoretical computer science with practical software engineering challenges.

Joanna DelicarisView profile

Researcher

• Formal Verification
• Stochastic Systems
• Hybrid Systems
• +2 more

Joanna Delicaris is a Researcher (PhD Student) at the University of Münster, focusing on reachability analysis and optimal reachability probabilities in stochastic hybrid automata with continuous nondeterminism. She is also investigating hybrid Petri nets and their extensions, particularly their relationship with hybrid automata in the context of stochastic and nondeterministic behavior. Developing the RealySt tool for computing reachability probabilities in stochastic hybrid systems Collaborating with Prof. Dr. Anne Remke and colleagues on interdisciplinary projects Her research bridges formal verification, stochastic modeling, and hybrid system analysis. She has contributed to multiple publications on topics such as rectangular automata with random clocks and state-space construction techniques. Joanna co-teaches courses including: Modeling and Analysis of Dynamical Systems Discrete Structures Efficient Model Checking of Stochastic Hybrid Systems

Jaeung SimView profile

Assistant Professor

• Information Systems
• Digital Marketing
• Online Platforms
• +4 more

Jaeung Sim is an Assistant Professor at the University of Connecticut's School of Business, Department of Operations and Information Management. His research focuses on understanding consumer interactions with information technology, digital platforms, and energy systems, with emphasis on sustainable operations and policy implications. He holds a Ph.D. in Management Engineering from KAIST and a B.S. in Industrial & Management Engineering (Summa Cum Laude) from POSTECH. Prior to academia, he served in the Republic of Korea Army as a sergeant and published data analytics work on music streaming trends. Research interests include: Online platform governance and consumer behavior Digital marketing strategies Energy economics and policy analysis Econometric field experiments Data-driven decision-making in operations Recent work explores topics like AI ethics in knowledge sharing, autocomplete impact on search behavior, smart metering effectiveness, and racial disparities in energy burdens. His music analytics research examines pandemic effects on streaming consumption and live-streaming economies. Teaching includes courses on data mining/business intelligence (OPIM 5671) and Python-based data science (OPIM 5512). Active in UConn's Stamford campus, he contributes to initiatives like decentralized AI education programs.

Wang FengjiaoView profile

Assistant Professor

• Machine Learning
• Data Mining
• Social Network Analysis
• +3 more

Wang Fengjiao is an Assistant Professor and Lecturer at the Kahlert School of Computing, University of Utah. Her research focuses on machine learning, data mining, and social network analysis, with notable contributions to semi-supervised learning, generative models, and social media analysis. She holds a position in one of the founding institutions of the internet (ARPANET), leveraging computational advancements for interdisciplinary challenges. Her work spans theoretical innovations and applied systems, including algorithms for tabular data, image generation via Fréchet distance minimization, and probabilistic text recommendation models. Recent trends in her publications emphasize scalable learning frameworks, spatial-temporal event modeling, and privacy-preserving techniques in multi-platform social networks. Wang's research has addressed challenges such as user geolocation inference, collaborative co-clustering in heterogeneous data, and steering information diffusion under attention constraints. Her contributions to content-aware POI recommendations and distance-based social discovery further highlight her expertise in integrating machine learning with real-world social systems. No scientific awards or grants are explicitly mentioned in the provided materials. Contact information is available at fengjiao@cs.utah.edu, and her office is located in MEB 3102.

Tala KasimView profile

Senior Lecturer

• Digital Construction
• BIM (Building Information Modeling)
• Health and Safety Compliance
• +5 more

Dr. Tala Kasim is a Senior Lecturer in Civil Engineering at Aston University's College of Engineering and Physical Sciences. She holds roles including Deputy Head of Department for Operations and Programme Director for the MSc Civil Infrastructure Engineering. Her research focuses on digital construction, BIM applications, automated compliance systems, and sustainable design. She has conducted Innovate UK-funded projects with Arcadis Ltd and collaborates with Heriot-Watt University on supply chain integration. Kasim teaches modules like BIM for Construction and Digital Engineering, and supervises PhD students. She is an External Examiner at Coventry University and has professional certifications including CEng, MICE, and FHEA. Education: PhD (BIM-based Compliance, Cardiff University), MSc (Energy Performance, University of South Wales), BSc (Aston University) Research Projects: BIM-based health and safety compliance systems, digital lab management platforms, pavement design automation Her work emphasizes improving construction productivity through digital tools and advancing safety management via automated regulatory checks. Over 12 research outputs span topics from AI in construction to sustainable building frameworks. Awards: None explicitly noted Grants: Innovate UK funding for BIM compliance project, collaborative grants with industry partners

• Operating Systems
• Fault Tolerance
• Cyber-Physical Systems
• +5 more

Marcus Völp is an Associate Professor and head of the CritiX research group at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT). His research focuses on ultra-reliable operating systems, fault and intrusion tolerant systems for cyber-physical environments, and hierarchical hybridization techniques to construct resilient computing platforms. His work bridges theoretical foundations with practical implementations, particularly in developing dependable systems-on-chip that can withstand faults and intrusions. Research spans formal verification methods, radiation-hardened hardware, blockchain security, and autonomous vehicle safety systems. Recent publications demonstrate advancement in parameterized system verification, radiation effects on routers, and N-version machine learning for autonomous systems. His group maintains strong focus on practical resilience mechanisms for real-time and critical systems across computing layers.

Perry AlexanderView profile

Professor

• Formal Methods
• System-Level Design
• Cybersecurity
• +5 more

Warren P. Alexander is the AT&T Distinguished Professor at The University of Kansas, specializing in formal methods applied to system-level design. His research focuses on ensuring reliable, secure, and trustworthy computer systems through mathematical methodologies, tool development, and curriculum integration. He emphasizes pragmatic engineering approaches to formal techniques, including protocol design and verification. Key research interests include remote attestation protocols, cybersecurity assurance, and trusted computing architectures. His work bridges theory and practice, with contributions to frameworks like Rosetta and Copland for system design and verification. Dr. Alexander’s publications span formal verification, system-level design, and cybersecurity, reflecting a commitment to advancing both academic and industrial applications of rigorous system design principles.

René WesterholtView profile

Assistant Professor

• Spatial Analysis
• GIScience
• Urban Analytics
• +7 more

René Westerholt is an Assistant Professor (Juniorprofessor) in Spatial Modelling at the Department of Spatial Planning at Technische Universität Dortmund, Germany. He also leads the Spatial Modelling Lab (RAM) and is affiliated with the GIScience research group at Heidelberg University. His academic background includes a PhD in Geography from Heidelberg University and an M.Sc. in Geoinformatics from Osnabrück University. His research focuses on spatial analysis methodologies, particularly integrating social dimensions into quantitative analysis. Key areas include geosocial media data analysis, spatial autocorrelation, and urban analytics. He has interdisciplinary experience in software development for nature conservation and agricultural projects, and is active in professional societies like the Royal Geographical Society and DGPF. Teaching responsibilities include leading the M.Sc. Urban Analytics and Visualisation programme at the University of Warwick and courses such as IM913 Spatial Methods and IM927 Digital Cities. His work bridges theoretical GIScience with practical applications in urban planning and environmental studies.

Charles GrelloisView profile

Lecturer

• Program Verification
• Formal Semantics
• Probabilistic Programming
• +2 more

Charles Grellois is a Lecturer in Verification at the University of Sheffield's Department of Computer Science. His research focuses on formal verification methods for functional and probabilistic programs using semantic and type-theoretic approaches. Research interests include program verification, linear logic, higher-order model checking, and termination analysis of probabilistic programs. Collaborates with medical researchers on mathematical modeling for cancer treatment prediction. Publications appear in computer science logic conferences including CSL and MFPS. Current work develops proof systems for bringing-it-about logics and intuitionistic deontic logic.

Vishnu PendyalaView profile

Professor

• Machine Learning
• Artificial Intelligence Ethics
• Big Data Analytics
• +3 more

Professor Vishnu Pendyala is a tenured faculty member at San José State University (SJSU), serving as a Senator in the Academic Senate and Chair of the IEEE Computer Society, Santa Clara Valley Chapter. His academic roles include teaching graduate courses in Machine Learning (DATA 245), Big Data Technologies (DATA 228), and Data Warehousing (DATA 226). He holds dual expertise in Computer Engineering and Data Analytics, straddling the College of Engineering and the Data Science programs. His research focuses on AI ethics, misinformation detection, and sustainable AI , with over 100 publications and keynote addresses at IEEE, ACM, and Springer conferences. Notable contributions include frameworks for combating misinformation, quantifying AI's environmental impact, and promoting equitable AI development. Pendyala is a IEEE Distinguished Contributor and ACM Distinguished Speaker , emphasizing interdisciplinary collaboration in his work. Recent trends in his articles reflect growing attention to AI's societal implications, such as ethical governance, environmental sustainability, and policy reforms. He actively engages with media (Newsweek, The Hill) and policymakers to translate technical insights into public discourse. Pendyala’s service roles include leadership in academic senate committees and global IEEE chapters, advocating for equitable educational and research practices. Education: PhD, MS, BS in Computer Engineering and MBA in Finance. His work bridges technical innovation with societal responsibility, addressing challenges such as AI-driven democracy, ecological footprint mitigation, and global data governance.

Gabriela NicolescuView profile

Professor

• Cybersecurity for Avionics
• Security by Design for Cyber-Physical Systems
• Advanced Programming Models for Avionic Multi and Many-Core Systems
• +11 more

Gabriela Nicolescu is a Professor at Polytechnique Montréal , affiliated with the Department of Computer Engineering and Software Engineering and the LAMA-WeST (Web, Semantics and Text) research group. Her work focuses on design methodologies , programming , and security for advanced systems integrating 3D SoCs , optical networks , and heterogeneous technologies . Education: B.Sc. and M.Sc., Politehnica Bucharest Ph.D., Institut National Polytechnique de Grenoble (2002), awarded Best Thesis in Microelectronics Research Interests include cybersecurity for avionics , security by design for cyber-physical systems , advanced programming models for multi-core systems , and modeling/simulation of heterogeneous systems . She has contributed to fields like optical networks on chip , real-time embedded systems , and edge computing security . Recent Publications highlight her leadership in all-optical neural networks , formal verification , and security for avionic systems . Her work spans machine learning-driven intrusion detection , photonic integrated circuits , and ontology-based cybersecurity frameworks . Scientific Awards: Best Thesis in Microelectronics, Institut National Polytechnique de Grenoble (2002) Student Supervision encompasses doctoral and master’s theses in areas such as multi-core RTOS , security in autonomous systems , AI-based penetration testing , and performance optimization in avionics . Current advisees include Felipe Magalhaes , Julien Carayol , and Kacem Khaled , while completed supervision includes A. S. Shahnejat Bushehri and Rami Zrelli . She is actively involved in collaborative research projects addressing national cybersecurity priorities and safer aircraft design , as highlighted in media outlets like The Globe and Mail and Science-Presse .

Chris RoelfsemaView profile

Associate Professor

• Marine Remote Sensing
• Coral Reef Ecology
• Seagrass Monitoring
• +3 more

Associate Professor Chris Roelfsema is a faculty member at School of the Environment , The University of Queensland (UQ) , where he serves as Academic Director at Heron Island Research Station . He leads the Marine Ecosystem Monitoring Lab and is affiliated with the Centre for Marine Science and Centre for Biodiversity and Conservation Science . Research Focus: Roelfsema specializes in monitoring marine ecosystem health , particularly coral reefs and seagrass habitats , using integrated field data and remote sensing . His work emphasizes cost-effective mapping and monitoring approaches , which have been adopted globally for conservation and climate change adaptation . Key projects include long-term studies at Heron Reef (2002–ongoing) and Moreton Bay (2000–ongoing) , SmartSat CRC hyperspectral remote sensing (2023–2027) , and contributions to Allen Coral Atlas and 3D GBR Habitat Mapping . Scientific Trends: His recent publications highlight deep learning applications for coral reef reconnaissance , 3D photogrammetry , global coral bleaching monitoring , and neotectonic impacts on reef geomorphology . Collaborative efforts span UQ , AIMS , and Great Barrier Reef Foundation initiatives. Funding & Grants: Current grants include projects on seahorse conservation , hyperspectral coral/seagrass assessment , and citizen science reef monitoring . Past funding covers GBR 3D mapping , Tongan reef recovery , and seagrass carbon stock analysis . Supervision: Roelfsema has supervised numerous PhD and Masters students on topics like coral dynamics , seagrass resilience , and coastal change detection . Students benefit from access to extensive field and satellite datasets . Community & Education: He actively supports citizen science through organizations like Reef Check Australia , CoralWatch , and UniDive , contributing to public education and capacity building in marine science.

Tom MelhamView profile

Professor

• Formal Verification
• Hardware Verification
• Theorem Proving
• +2 more

Tom Melham is Professor of Computer Science at the University of Oxford, Tutorial Fellow at Balliol College, and Fellow of the Royal Society of Edinburgh. His research develops formal methods for hardware and software verification, with recent focus on security applications and neural network verification. Research interests include automated theorem proving, symbolic trajectory evaluation, hardware/software co-verification, and security assurance methods. Recent work applies formal verification to processor security, vulnerability management, and deep learning systems. Publications demonstrate foundational contributions to hardware verification methodologies, with increasing focus on security engineering and machine learning verification in recent years. Research integrates theoretical advances with practical industrial applications. Melham directs projects on processor security verification, automated exploit generation, and hybrid approaches to memory safety. He teaches computer science and law courses while advising graduate students in formal methods research.

Steve SchneiderView profile

Professor

• Cyber Security
• Secure Electronic Voting
• Distributed Ledger Technologies
• +3 more

Professor Steve Schneider is a Professor and Director of the Computer Science Research Centre at the University of Surrey, leading the Surrey Centre for Cyber Security (SCCS) and the Nature Inspired Computing and Engineering (NICE) Research Group. He has held roles including Head of the Department of Computer Science (2004-2010) and Associate Dean for Research and Innovation in the Faculty of Engineering and Physical Sciences (2015-2019). His research focuses on Secure Electronic Voting, Distributed Ledger Technologies, Rail and Automotive Security, and Formal Modeling Verification. Key projects include the Prêt à Voter system used in the 2014 Victorian State Election and work on privacy in transportation systems. Research interests span formal methods for security protocols, blockchain applications in voting and identity systems, and privacy-preserving technologies. He teaches Advanced Algorithms and supervises undergraduate and MSc projects, contributing to the university’s academic and pedagogical mission. His work bridges theoretical foundations with practical applications, emphasizing real-world implementation in critical systems like voting infrastructure and rail networks. Recent publications highlight advancements in privacy-preserving systems, formal verification of blockchain protocols, and adversarial machine learning defenses. Collaborations include the Decentralised Digital Economy (DECaDE) research center and international symposiums like ESORICS. He actively engages in policy discussions on UK cyber security strategy and the integration of formal methods into industrial systems. His contributions to cyber security education are reflected in initiatives like the Cyber Security Body of Knowledge (CyBOK), promoting standardized curricula and industry-relevant research. Current projects explore decentralized identity systems and resilient voting technologies, positioning him as a leader in both academic and applied security domains.

• Intergenerational Justice
• Political Theory
• Climate Ethics
• +5 more

Joerg Tremmel is an Extraordinary Professor at Eberhard Karls University Tuebingen, affiliated with the Department of Social Sciences within the Faculty of Economics and Social Sciences. He holds two PhDs (in Philosophy and Social Sciences) and has established himself as a leading scholar in political theory, particularly focusing on intergenerational justice, climate ethics, and democratic theory. His research centers on the structural challenges democracies face in addressing long-term issues, particularly the 'tyranny of the present' that disadvantages future generations. Tremmel's most significant contribution is the 'four-branches-of-government model,' which proposes adding a 'future branch' to represent future citizens' interests. His work bridges political philosophy and practical policy, examining how democratic institutions can better incorporate future considerations into decision-making processes. Tremmel's recent publications (2020-2024) demonstrate a consistent focus on intergenerational justice in various contexts including climate change, pandemics, constitutional design, and democratic reform. His scholarship shows an evolution from theoretical foundations toward increasingly applied work addressing contemporary challenges like the Anthropocene transition and climate justice. Procter & Gamble Award for exceptional final theses in environmental science (for his MA thesis) Regular jury member for the Sustainability Award for Theses at Tübingen University Jury member for Merck Future Insight Prize 2023 Member of multiple Intergenerational Justice Prize juries since 2001 Tremmel actively supervises Master's and PhD theses on political theory, political philosophy, and applied ethics. His teaching focuses on sustainability, intergenerational justice, political institutions, and epistemology. As a member of the Advisory Board for Sustainable Development at the University of Tübingen and Scientists for Futures, he actively engages in translating academic insights into practical sustainability initiatives, including personal commitments like avoiding short-haul flights up to 1,000 km.