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

Christian-Emil Smith Oreمشاهده پروفایل

دانشیار

• Digital Humanities
• Lexicography
• Text Encoding
• +۳ مورد دیگر

Christian-Emil Smith Ore is an Associate Professor and head of the Unit for Digital Documentation (EDD) at the University of Oslo. With 25+ years in digital humanities, he focuses on cultural heritage documentation, lexicography, and electronic text editions. His work emphasizes standards like TEI for text encoding and CIDOC-CRM for data interchange to enable cross-disciplinary research integration. Research interests span: Digital methods for cultural heritage preservation Lexicographic research and corpus linguistics Semantic modeling of historical texts Development of digital infrastructures for humanities research Cross-institutional data interoperability Publications from 2017-2024 demonstrate consistent focus on lexicographic innovation, archaeological data modeling, and digital preservation. Key thematic clusters include: Evolution of Norwegian lexicography and language standardization Semantic frameworks for cultural heritage data integration Digital tools for historical text analysis and dictionary development Professional leadership includes: Co-founding the Medieval Nordic Text Archive (menota.org) Chairing Digital Humanities in Nordic countries (DHN) Co-chairing TEI ontology SIG Leading conceptual modeling for Archaeological Digital Excavation Documentation (ADED) infrastructure

Marco Caminatiمشاهده پروفایل

مدرس

• Computer Science
• Formal Methods
• Theorem Proving
• +۵ مورد دیگر

Dr. Marco Caminati is a Lecturer in Computer Science at Lancaster University, affiliated with the Security Lancaster research group, specializing in Distributed Systems and Software Security. His research focuses on formal methods, theorem proving, and their applications in areas like auction theory, quantum computing, and cybersecurity. He has contributed to verified algorithms, conflict resolution frameworks, and formalizations in Isabelle/HOL. His work bridges theoretical foundations with practical implementations, addressing challenges in software verification, healthcare informatics, and distributed systems. Key research interests include automated theorem proving, formal verification of concurrent systems, and applying formal methods to real-world problems such as medical guidelines and combinatorial optimization. He actively publishes in venues like the Journal of Automated Reasoning and has explored topics ranging from quantum information theory to SMT-based concurrency analysis. His publications often emphasize rigorous validation through tools like Isabelle and Mizar, ensuring correctness in complex systems. While no specific awards are listed, his contributions to formal methods have advanced applications in both academia and industry.

Lyndon Drakeمشاهده پروفایل

پژوهشگر ارشد

• Theological Ethics
• Artificial Intelligence Ethics
• Indigenous Theology (Māori)
• +۳ مورد دیگر

Rev. Dr. Lyndon Drake is a Research Fellow in Theological Ethics and Artificial Intelligence at the University of Oxford, holding a DPhil in Theology (2023) and a PhD in Artificial Intelligence (2005). His dual expertise bridges biblical studies, economic theology, and AI ethics, with a focus on Māori post-colonial perspectives. Previously, he served as an Archdeacon in the Māori Anglican Church, managing multi-million dollar grants and leading teams of 20+ staff. His career spans finance (Barclays Capital, 2000–2011), AI research, and theological academia. Education : Bachelor of Commerce (Auckland, 1999) Bachelor of Science (Computer Science with Honours, Auckland, 1999) PhD in Artificial Intelligence (University of York, 2005) BA in Theology (First-Class Honours, Oxford, 2012) MSt in Theology (Hebrew Bible/Old Testament, Oxford, 2017) DPhil in Theology (Hebrew Bible/Old Testament, Oxford, 2023) Research Interests combine biblical economics (e.g., Jeremiah 32), Māori theological frameworks, and ethical AI applications. His work critiques financial systems through a theological lens, advocating for equitable capital markets. Key Contributions include Capital Markets for the Common Good (2017) and co-founding the Kingi Ihaka Research Centre in Aotearoa/New Zealand. His publications span biblical exegesis (e.g., prosbul in the Lord’s Prayer) and foundational AI algorithm research (SAT solving, constraint satisfaction). Awards : Prize-winning Oxford BA in Theology (top graduate of year). Grants & Leadership : Secured millions in church-related grants, built teams from scratch, and maintained part-time finance roles post-academia. Labs/Teams : Co-founder of the Kingi Ihaka Research Centre, integrating theological and computational ethics research.

Geri Della Rocca de Candalمشاهده پروفایل

پژوهشگر ارشد

• Renaissance History
• Book History
• Byzantine Studies
• +۳ مورد دیگر

Dr. Geri Della Rocca de Candal is an Honorary Faculty Research Fellow at the University of Oxford, affiliated with the Department of Medieval and Modern Languages. Their primary role involves managing the 15cBOOKTRADE project, coordinating with global libraries to integrate incunabula records into Machine-Readable Encoding (MEI) and collaborating with the University of Göttingen’s Data Conversion Group (DCG) for data ingestion. They also contribute to the TEXT-INC database, focusing on compiling 15th-century printed texts. Education includes a degree in Ancient History from the Università degli Studi of Milan, an MSt in Modern History [Byzantine Studies] from the University of Oxford, and a DPhil in Medieval and Modern Languages from Oxford, with a thesis on early-modern editions of Byzantine historiographers. Research interests center on Renaissance book trade dynamics, textual preservation, and digital humanities methodologies. Their work bridges historical scholarship with modern data curation, emphasizing interdisciplinary approaches to cultural heritage. No scientific awards or grants are explicitly mentioned in the provided text. They are actively involved in collaborative projects like 15cBOOKTRADE and TEXT-INC , contributing to both academic and institutional knowledge networks.

Frédérique Sixمشاهده پروفایل

دانشیار

• Public Governance
• Trust and Control in Organizations
• Regulatory Enforcement
• +۳ مورد دیگر

Frédérique Six is an Associate Professor of Public Governance at the Vrije Universiteit Amsterdam's Department of Political Science and Public Administration. She holds an MBA from INSEAD and a PhD in Management from Erasmus University Rotterdam. Her research focuses on trust and control dynamics in public governance, regulatory enforcement, and organizational trust resilience. She co-led the EU-funded TiGRE project (2020–2023) and collaborates with the University of Antwerp's GOVTRUST Centre of Excellence as a visiting professor. Education: PhD in Management: Erasmus University Rotterdam (2004) MBA: INSEAD (1988) Master's in Environmental Engineering: Wageningen University (1987) Research Interests: Her work examines how trust and control mechanisms shape public policy outcomes, regulatory regimes, and organizational behavior. Key themes include trust-based accountability, regulatory enforcement strategies, and the interplay between institutional trust and governance effectiveness. She employs both quantitative and qualitative methods to study these dynamics across sectors. Teaching & Awards: Awarded 'Best Teacher 2022' at VU School of Governance. Teaches extensively on public management, governance, and organizational leadership across bachelor's and master's programs. Leads executive education programs like 'Leading from Trust' and coordinates master thesis supervision. Collaborations: Maintains partnerships with the University of Antwerp and contributes to initiatives like the GOVTRUST Summer School. Serves on the Board of United World College Maastricht and actively engages in public discourse through media commentary and workshops. Key Projects: Led the TiGRE consortium analyzing trust in European governance (€6M EU grant). Coordinated the LCR project on experiential knowledge application in public services (2016–2017).

Maarten Hinderik Evertsمشاهده پروفایل

استادیار

• Cybersecurity
• Cryptography
• Privacy-Preserving Technologies
• +۵ مورد دیگر

Maarten Hinderik Everts is an Assistant Professor specializing in Cybersecurity and Semantics at the Digital Society Institute. His research focuses on cryptographic protocols, privacy-preserving technologies, and secure communication systems. He has contributed to advancements in homomorphic encryption, collaborative learning security, and blockchain-based payment systems. Key research interests include authentication mechanisms, mobile device security, and data visualization techniques. Everts has authored over 39 publications since 2008, with recent work emphasizing privacy-enhancing technologies and secure multi-party computation. He received the SciVis Test-of-Time award in 2023 for impactful contributions to visualization research. His work spans patents on LTE communication security and compiler optimizations for covert security. Collaborative efforts include developing privacy-preserving machine learning frameworks and zk-SNARK applications for financial systems.

Zhong Shaoمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Operating Systems
• +۵ مورد دیگر

Zhong Shao is the Thomas L. Kempner Professor of Computer Science at Yale University, leading the FLINT research group. His work focuses on certified software systems, formal methods, and secure system design. He is known for pioneering research in certified assembly programming (CAP) and the development of the CertiKOS verified operating system kernel. Research Interests: Formal semantics, concurrency and coordination, certified compilation, language-based security, and verified system software. Recent Contributions: Pioneered deep specifications for layered system software, developed the VeriML proof automation framework, and advanced formal verification for distributed systems and smart contracts. Current efforts include verified blockchain systems and compositional verification techniques for concurrent programs. Teaching: Currently teaches CS430 Formal Semantics in Spring 2025 and has previously taught courses on compilers, operating systems, and programming languages. Labs/Teams: Director of the FLINT Group, collaborating with researchers from Princeton, UPenn, and MIT on NSF Expedition projects in deep specifications. Involved in systems seminars like APLAR and SPAM.

Y. Richard Yangمشاهده پروفایل

استاد

• Computer Networks
• Wireless Networking
• Mobile Computing
• +۲ مورد دیگر

Y. Richard Yang is a Professor of Computer Science and Electrical Engineering at Yale University, where he leads research in computer networks, wireless systems, and distributed computing. He is a core member of Yale's Computer Systems Lab and has pioneered Internet standards like ALTO (RFCs 7285/9439/9569). His work on massive MIMO (Argos) laid foundations for 5G cellular networks. Education: Ph.D. in Computer Science, University of Texas at Austin (2001) M.S. in Computer Science, University of Texas at Austin (1998) B.E. in Computer Science, Tsinghua University (1993) Research Interests: Yang's work spans network architecture (ALTO/P4P), wireless innovations (beamforming, superposition coding), and network verification (Flash, Trident). His recent focus includes deep application-network integration and scalable data plane verification for cloud/CERN-scale systems. Publication Trends: Recent articles emphasize SDN programmability (Maple, Trident), Internet-scale optimization (ALTO extensions), and high-speed verification (Flash). His works consistently bridge theory (game-theoretic models) with practical deployment (RFCs, CERN integration). Awards: ACM SIGMobile Test of Time Award (2022) ACM SIGCOMM NAI Best Paper Award (2022) NSF CAREER Award Facebook/Google/Microsoft Faculty Research Awards Students & Funding: Advised recent graduates including Jackie Dong and Lily Zhou. Secured grants from U.S. NSF, Army, U.K. MoD, Facebook, Google, and Microsoft. Labs: Directs projects in the Computer Systems Lab at Yale , collaborating with CERN, Microsoft Research, and Tsinghua/Peking Universities.

Douglas Boyleمشاهده پروفایل

استاد

• Hydrology
• Climatology
• Paleoclimatology
• +۵ مورد دیگر

Dr. Douglas Boyle serves as the Interim Vice Provost and Dean at the University of Nevada, Reno at Lake Tahoe, overseeing campus operations and academics. He previously held roles such as Associate Vice Provost for Research and Creative Activities and Nevada State Climatologist. He is a Professor in the Geography Department, with a focus on hydrologic processes and climate impacts on arid environments. His research integrates paleoclimate data, global climate models, and instrumental records to study water resources in semi-arid regions. Key themes include pluvial lake dynamics, storm track activity, and climate change adaptation strategies. Dr. Boyle earned a B.S. in Aerospace Engineering from the University of Southern California (1989), an M.S. in Hydrology from the University of Nevada, Reno (1996), and a Ph.D. in Hydrology and Systems Engineering from the University of Arizona (2000). His work is funded by NSF, NASA, USGS, and USBR. His research interests emphasize interdisciplinary modeling to address climate-water interactions, with applications to water resource management, agricultural economics, and environmental policy. He has directed the Nevada Water Resources Research Institute and produced annual climate reports for state policy guidance. His publications span hydrologic modeling techniques, paleoenvironmental reconstruction, and climate change communication strategies. Dr. Boyle collaborates on projects linking hydrological models to decision support systems, including cloud-seeding impact assessments in the Walker River Basin and groundwater management in arid regions. His recent work explores climate change impacts on agricultural productivity and integrates urban heat island effects into climate projections.

• Design
• Product Development
• Machine Dynamics
• +۷ مورد دیگر

Warren Paul Seering is the Weber-Shaughness Professor of Mechanical Engineering at MIT and Co-Director of the System Design and Management (SDM) Program. His career spans over 40 years in mechanical engineering education and research, with leadership roles in MIT's Engineering Systems Division and the Skolkovo-MIT Partnership. His educational background includes: B.Sc. from University of Missouri-Columbia (1971) M.Sc. from University of Missouri-Columbia (1972) Ph.D. from Stanford University (1978) Seering's research centers on design theory, product development processes, and dynamic system modeling, extending to mechanics, control systems, and interdisciplinary fields like ocean engineering and nanotechnology. He pioneered methodologies in set-based thinking and risk management frameworks that bridge engineering design with organizational strategy. His publication trajectory reveals an evolution from foundational robotics and vibration control (1980s-1990s) to systemic product development challenges (2010s), emphasizing transparency in risk management, crowdfunding innovation, and waste reduction in corporate design processes. Notable awards include: Ralph R. Teetor Educational Award (1982) MIT Harold E. Edgerton Faculty Achievement Award (1983) ASME Design Theory and Methodology Award (2021) Design Society Fellow (2021) MIT Frank E. Perkins Award for Graduate Advising (2007) Seering's advisory excellence is recognized through MIT's Perkins Award, with leadership in SDM and Skolkovo-MIT programs shaping next-generation engineering education. His editorial roles across six journals reflect sustained scholarly influence. Key initiatives include co-founding the Nissan Cambridge Basic Research Center (1992-2001) and Convolve, Inc. (1992), alongside ongoing direction of MIT's System Design and Management program and Skolkovo-MIT Partnership.

Margery Feeمشاهده پروفایل

استاد

• Canadian Literature
• Indigenous Studies
• Postcolonial Literature
• +۳ مورد دیگر

Dr. Margery Fee is a Professor in the Department of English Language & Literatures and holds key roles at the University of British Columbia (UBC), including chairing the Canadian Studies Program and directing the interdisciplinary Arts One program. She earned her PhD in Canadian literary history from the University of Toronto (1981). Her research focuses on Canadian literature, Indigenous studies, and sociolinguistics, with notable contributions to First Nations literatures and critiques of cultural appropriation. Fee has been recognized for her teaching excellence, including the Margaret Fulton Award (2005/06) and repeated Just Desserts Awards from the Alma Mater Society. Her work bridges literary scholarship with community engagement, such as projects linking university and elementary students through oral storytelling. Fee’s interdisciplinary leadership has shaped UBC’s academic landscape, particularly through Arts One, which emphasizes critical thinking and collaborative learning. Her research explores intersections of law, language, and identity, as seen in studies like White Civility and Aboriginal Law/Epistemology (2009) and Racializing Narratives: Obesity, Diabetes, and the “Aboriginal” Thrifty Genotype (2006). She has also contributed to lexicography, including the Dictionary of Canadianisms. Fee’s editorial work in Canadian Literature magazine and numerous peer-reviewed articles reflect her commitment to fostering scholarly dialogue and student engagement.

Alfredo Milaniمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Automated Planning
• Evolutionary Algorithms
• +۵ مورد دیگر

Alfredo Milani is an Associate Professor of Computer Science at the Department of Mathematics and Computer Science , University of Perugia, and a member of the Faculty of Mathematical, Physical and Natural Sciences. He earned his Laurea in Science dell'Informazione from the University of Pisa in 1987, where his thesis was awarded by Olivetti Inc. . Dr. Milani's research spans Artificial Intelligence , with a focus on automated planning , evolutionary algorithms , and applications in web-based adaptive systems and image processing . His work includes innovations in GRAPHPLAN, domain compilation, and partial-order planning frameworks. 1998 : SATPLAN extensions, GRAPHPLAN-based partial plan completion 1997 : Task network compilation, partial-order planning 1996 : Conditional planning semantics 1995 : Action encapsulation and planning logic Scientific contributions include the KITLab (Knowledge & Information Technologies Laboratory) and leadership of projects like SCI*SIA (CNR) and TCU on Planning & Scheduling for the Web. He has served on editorial boards and steering committees for AI*IA and PLANET European Network of Excellence.

Riad Wahbyمشاهده پروفایل

استادیار

• Cryptography
• Zero-Knowledge Proofs
• Secure Computation
• +۱ مورد دیگر

Riad Wahby is an Assistant Professor in the Electrical and Computer Engineering department at Carnegie Mellon University's College of Engineering, with affiliations in the Computer Science Department. His research focuses on theoretical computer science with applications in cryptography and security systems. Primary research areas include: Zero-knowledge proof systems and SNARKs Secure multiparty computation Cryptographic protocol design Formal verification methods His publications demonstrate consistent innovation in cryptographic compilers, constraint systems for SNARKs, and practical applications of zero-knowledge proofs. Recent work highlights include advancements in finite-field verification, decentralized auction systems, and side-channel attack analysis. Current advising includes graduate students Quang Dao and Kunming Jiang. Teaching includes courses in computer systems and cryptography (15-330).

Raquel Ortega-Argilesمشاهده پروفایل

استاد

• Regional Economic Development
• Innovation Policy
• Entrepreneurship
• +۴ مورد دیگر

Raquel Ortega-Argiles is a Professor of Regional Economic Development at the University of Manchester, affiliated with the Alliance Manchester Business School. She is a leading expert in regional policy, innovation systems, and the economic impacts of Brexit and the pandemic. Her research focuses on productivity, entrepreneurship, and evidence-based policy design. Her work contributes to UN Sustainable Development Goals, particularly those addressing economic inequality and sustainable development. She co-leads initiatives such as the Productivity Institute and the Manchester Institute of Innovation Research, driving interdisciplinary research and policy engagement. Education: Not explicitly stated in the profile. Research Interests: Regional policy, innovation ecosystems, Brexit impact analysis, economic productivity, and sustainable development. Her recent articles explore topics such as trade-technology interactions, renewable energy distribution, and the role of public procurement in fostering innovation. She has published widely in journals like Global Challenges & Regional Science and edited volumes on innovation policy. Awards: Regional Studies Best Paper Award (2016), Martin Beckmann Prize (2019 and 2021), and Fellowship of the Academy of Social Sciences (2023). Ortega-Argiles actively engages with policy through editorial roles at journals like Spatial Economic Analysis and advises on UK regional strategies, including the North West Productivity Agenda and Levelling-Up initiatives. She collaborates globally on projects analyzing post-Brexit economic resilience and green innovation policies. Her datasets, such as the TPI UK Scorecards, provide actionable insights for policymakers on productivity metrics and regional disparities. She also contributes to public debates on the economic implications of technological change and industrial policy.

• Artificial Intelligence
• Machine Learning
• Inductive Logic Programming
• +۳ مورد دیگر

Andrew Cropper is a Research Fellow in the Department of Computer Science at the University of Oxford. His research focuses on the intersection of logic and machine learning, particularly inductive logic programming (ILP) and program synthesis. He leads the Logic and Learning research group and the 'The Automatic Computer Scientist' project, which explores automated program generation and symbolic learning methods. His work emphasizes developing efficient algorithms for learning logical programs and improving the scalability of inductive logic programming. Recent publications highlight advancements in combining small logical rules into larger structures, discovering higher-order abstractions in logic programs, and applying symbolic metaprogramming to enhance learning efficiency. His research also addresses challenges in handling noisy data and integrating numerical reasoning into relational program synthesis. Collaborations with cognitive scientists explore parallels between human rule-learning processes and machine learning algorithms. Cropper has advised students including Rolf Morel (past researcher) and collaborates with researchers like Céline Hocquette and Matti Järvisalo. His contributions span over 30 peer-reviewed articles in top conferences (IJCAI, AAAI) and journals (Nature Communications, Machine Learning). He maintains active roles in the ILP community, co-authoring comprehensive reviews of the field's 30-year evolution and advancing its applications in program induction and general game playing. Research highlights include developing the Metagol system for ILP, pioneering predicate invention techniques, and introducing constraint-driven methods to improve program synthesis efficiency. His work bridges symbolic AI with modern machine learning, aiming to create interpretable and generalizable algorithms for complex problem-solving.