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

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

استاد

• Formal Methods
• System-Level Design
• Cybersecurity
• +۵ مورد دیگر

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é Westerholtمشاهده پروفایل

استادیار

• Spatial Analysis
• GIScience
• Urban Analytics
• +۷ مورد دیگر

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 Grelloisمشاهده پروفایل

مدرس

• Program Verification
• Formal Semantics
• Probabilistic Programming
• +۲ مورد دیگر

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 Pendyalaمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence Ethics
• Big Data Analytics
• +۳ مورد دیگر

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 Nicolescuمشاهده پروفایل

استاد

• Cybersecurity for Avionics
• Security by Design for Cyber-Physical Systems
• Advanced Programming Models for Avionic Multi and Many-Core Systems
• +۱۱ مورد دیگر

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 Roelfsemaمشاهده پروفایل

دانشیار

• Marine Remote Sensing
• Coral Reef Ecology
• Seagrass Monitoring
• +۳ مورد دیگر

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 Melhamمشاهده پروفایل

استاد

• Formal Verification
• Hardware Verification
• Theorem Proving
• +۲ مورد دیگر

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 Schneiderمشاهده پروفایل

استاد

• Cyber Security
• Secure Electronic Voting
• Distributed Ledger Technologies
• +۳ مورد دیگر

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
• +۵ مورد دیگر

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.

Hongwei Xiمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Dependent Types
• +۴ مورد دیگر

Hongwei Xi is an Associate Professor in the Department of Computer Science at Boston University, affiliated with the College of Arts & Sciences. He holds a PhD in Pure and Applied Logic from Carnegie Mellon University (1998). His primary research focuses on applying advanced type theory to programming language design, particularly through the development of the ATS programming language. This language emphasizes safe software construction via a paradigm combining programming with theorem proving. Dr. Xi's work includes pioneering contributions to dependent and linear types for practical programming, as well as serving on program committees for major ACM conferences like POPL and PLDI. His research interests span type systems, formal verification, and concurrency models. He has authored numerous publications on topics such as session types, multirole logic, and dependently typed programming languages. Dr. Xi’s academic contributions also include the design of the ATS language and its implementation, which demonstrates practical applications of type-theoretic principles. His recent work explores two-level linear dependent type theories and multirole logic frameworks for multiparty systems. His professional activities include advising on language design and verification methodologies, though specific grant details are not detailed in the provided materials. Dr. Xi is actively involved in advancing the theoretical foundations of programming languages while ensuring practical applicability in real-world software development.

Juliana Bowlesمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Healthcare Informatics
• +۳ مورد دیگر

Prof Juliana Bowles is a Professor at the School of Computer Science, University of St Andrews. Her research focuses on applying formal methods (model checking, constraint solving) to healthcare challenges such as polypharmacy, cancer treatment optimization, and clinical decision support systems. She collaborates with clinicians and engineers to develop tools for medication safety and efficient healthcare processes. Notable projects include EPSRC-funded work on automated conflict resolution in clinical pathways and RAE-funded collaborations with Brazil on healthcare process analysis. Her expertise spans formal verification, concurrency, and health informatics. She leads projects addressing global health challenges through computational techniques, including work on endometriosis care, cancer treatment in the elderly, and secure healthcare data sharing platforms. Supervising PhD students like Ariane Hine and Qurat Ul Ain Shaheen, she integrates interdisciplinary approaches to enhance healthcare outcomes. Key Collaborations: Royal Academy of Engineering (RAE), UNISC Brazil, EPSRC Grants: EPSRC (EP/M014290/1), RAE Newton Research Collaboration (Project NRCP1617/5/62) Publications: Over 90 peer-reviewed articles, focusing on formal methods in healthcare and computational medicine Her work contributes to UN Sustainable Development Goals by improving healthcare access and decision-making through technology. She develops secure systems for medical data sharing and personalized treatment strategies, balancing usability and privacy concerns in healthcare IT.

Robert Lagerströmمشاهده پروفایل

استاد

• Cyber Security
• Information Systems
• Threat Modeling
• +۶ مورد دیگر

Robert Lagerström is a Professor at KTH Royal Institute of Technology specializing in Industrial Information Systems. His research focuses on developing automated cyber security frameworks and threat modeling methodologies for large-scale IT environments. Key areas include vulnerability analysis of IoT, automotive systems, and critical infrastructure, with a particular emphasis on probabilistic modeling and simulation languages like vehicleLang and powerLang. He collaborates extensively with industry partners across automotive, banking, energy, and cloud sectors to validate practical security solutions. His work emphasizes model-based security analysis that avoids disrupting live systems, enabling safe testing of cyber defenses. Notable contributions include the securiCAD tool for enterprise cyber security management and the PatrIoT framework for agile threat research in IoT ecosystems. Lagerström's research integrates enterprise architecture modeling with security behavior analysis, addressing challenges in digitalization and agile development environments. He has pioneered methods for quantifying attack resilience through probabilistic threat simulations and has published widely on topics such as LPWAN security, SCADA system vulnerabilities, and ethical considerations in offensive cyber training. His work bridges theoretical cyber security concepts with real-world implementation challenges in both traditional IT and emerging technologies like blockchain and microservices architectures.

• Software Testing
• Formal Methods
• Specification-Based Testing
• +۳ مورد دیگر

Dr. Kirill Bogdanov is a Lecturer in the Department of Computer Science at the University of Sheffield, UK. He completed his PhD in 2000 on specification-based software testing using X-machines and Statecharts. Before his current role, he worked as a Research Associate on the MOTIVE project, focusing on testing object-oriented systems. Education: PhD in Computer Science, University of Sheffield (2000) Research focused on applying X-machine testing methods to Statecharts specifications Research Interests: Specification-based testing methodologies X-machine formalisms and their applications Automated model inference from software code Passive inference of software models from logs Formal methods for safety-critical systems Grants & Projects: PI on EPSRC grants: REGI (2009-2012), StaMInA (2009-2012), and Automated Abstraction (2005-2008) Developed tools like the Statechum project for model inference Labs/Teams: Member of the Verification and Testing Research Group and Foundations of Computation research group. Awards: No specific awards listed, but contributions include pioneering work in formal testing methods.

Crystal Chang Dinمشاهده پروفایل

دانشیار

• Formal Methods
• Software Verification
• Didactics
• +۳ مورد دیگر

Crystal Chang Din is an Associate Professor at the Department of Informatics, University of Bergen. Her research focuses on formal methods, software verification, and didactics. She has organized conferences such as the KeY Symposium 2023 and served as PC Chair for FTfJP 2025. Her work includes developing verification tools like KeY-ABS and exploring concurrency semantics in programming languages. She teaches courses including INF113 (Operating Systems) and INF100 (Introduction to Programming). Notable contributions include modular reasoning systems for code reuse and runtime enforcement frameworks. She advises master’s students such as Eirik Halvard Sæther and Ida Sandberg Motzfeldt. Her publications span topics like feature model evolution, deadlock detection, and concurrent programming semantics. She has contributed to international journals like Formal Aspects of Computing and conferences such as NWPT and iFM. Her research emphasizes practical applications in distributed systems and formal verification techniques.

• Formal Verification
• Component-Based Systems
• Real-Time Systems
• +۵ مورد دیگر

Joseph Sifakis is a distinguished computer scientist and professor at Grenoble Institute of Technology. He is renowned for his foundational contributions to formal verification, system design, and the BIP component framework. A Turing Award laureate (2007), his work bridges theoretical computer science with practical system engineering. His research focuses on rigorous design methodologies for real-time, embedded, and autonomous systems. Education: Ph.D. in Computer Science from Grenoble Institute of Technology (1979). Key contributions include the CESAR specification language (with Jean-Pierre Queille), formal methods for concurrent systems, and the BIP framework for component-based system design. He has authored over 200 publications and co-edited influential books on embedded systems. Research interests span autonomous systems, cyber-physical systems, real-time systems, and safety-critical software. Notable projects include the development of rigorous validation techniques for autonomous vehicles and the integration of AI with formal verification. His work emphasizes correctness-by-construction principles and trustworthiness in complex systems. Award recognition includes the 2007 Turing Award for contributions to model checking. He has advised numerous researchers and is a co-founder of the BIP framework, widely used in industry and academia. Current work focuses on autonomous system architectures, AI safety, and trustworthy computing.