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

Ronald P. Straussمشاهده پروفایل

استاد

• Social Medicine
• Craniofacial Research
• HIV/AIDS
• +۴ مورد دیگر

Dr. Ronald P. Strauss serves as the Adams Distinguished Professor at the University of North Carolina at Chapel Hill in the Adams School of Dentistry, with additional appointments as Professor of Social Medicine in the School of Medicine and Clinical Professor of Epidemiology in the Gillings School of Global Public Health. He concurrently holds the position of Chief Global Officer for the Adams School of Dentistry and is an active member of the UNC Craniofacial Center Team. His academic credentials include: BA in Biology from Queens College New York DMD from the University of Pennsylvania PhD in Sociology from the University of Pennsylvania Dr. Strauss's research examines the social dimensions of chronic health conditions, with specialized focus on craniofacial differences and HIV/AIDS. His interdisciplinary approach integrates clinical practice, sociological theory, ethical frameworks, and health policy analysis to address stigma, healthcare access barriers, prenatal diagnosis implications, and community engagement strategies. Methodologically, he employs qualitative ethnography and survey research to investigate psychosocial impacts. His scholarly output demonstrates consistent thematic focus across decades, with recent publications revealing intensified examination of structural determinants of health, intersectional disparities in craniofacial care, and innovative community-based HIV/AIDS interventions. Key patterns include transdisciplinary collaboration, emphasis on patient-centered outcomes, and critical analysis of systemic inequities in healthcare delivery. Dr. Strauss directs the campus-wide HIV/AIDS Course annually since 1987 and teaches Social and Health Systems to medical students. As Faculty Director of the CFAR Office of Community Engagement and lead of the Thorp Faculty Engaged Scholars Program, he mentors faculty in community-engaged scholarship while maintaining active clinical and research supervision. He maintains leadership within the UNC Craniofacial Center Team and has conducted international fieldwork across five countries, reflecting his commitment to global health equity through partnerships in Brazil, Israel, Thailand, Moldova, and China.

Andrew Colesمشاهده پروفایل

عضو هیئت علمی

• Artificial Intelligence
• Temporal Planning
• Numeric Planning
• +۱۰ مورد دیگر

Dr Andrew Coles is a Reader in Artificial Intelligence at the Department of Informatics, King's College London, within the Faculty of Natural, Mathematical & Engineering Sciences. His research focuses on temporal and numeric planning, explainable planning, and human-robot collaboration. He leads and co-investigates multiple research projects funded by EPSRC, the Royal Academy of Engineering, and the European Commission. His research interests include Artificial Intelligence, Temporal and Numeric Planning, Planning with Rich Domain Models, Explainable Planning, Human-Robot Interaction, Autonomous Systems, Heuristic Search, and Decision-Making. He has published extensively in top-tier AI and robotics conferences such as ICAPS, IROS, HRI, AAAI, and IJCAI. His recent publications demonstrate a strong trend toward explainable AI in human-robot collaboration, with a focus on multimodal sensing (e.g., eye tracking), user needs for explanation, and adaptive planning. His work integrates planning algorithms with human-centered evaluation and real-world applications in robotics. Scientific Awards: International award for PhD thesis on assistive robots (2020) Advising and Grants: Dr Coles has supervised multiple students, including Lara Wachowiak, Guillem Canal, and Petra Tisnikar. He has led or co-investigated several major research projects, including: COHERENT (EPSRC): Collaborative Hierarchical Robotic Explanations Plan and Goal Reasoning for Explainable Autonomous Robots (Royal Academy of Engineering) ADE (European Commission): Autonomous Decision Making in Very Long Traverses ERGO (European Commission): European Robotic Goal-Oriented autonomous controller Labs and Teams: He is affiliated with the Reasoning and Planning research group and the Trusted Autonomous Systems Hub at King's College London, focusing on developing trustable autonomous systems through robust planning and human-centered AI.

Jiri Srbaمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Petri Nets
• +۴ مورد دیگر

Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.

Cesla Amarelleمشاهده پروفایل

استاد

• Migration Law
• Human Rights
• Constitutional Law
• +۵ مورد دیگر

Cesla Amarelle serves as Full Professor and Chairholder of Public Law and Migration Law at the University of Neuchâtel's Faculty of Law. Her academic leadership extends to co-directing the Swiss Center for Migration Law (CDM) and contributing to national research initiatives including the National Center of Competence in Research (NCCR) 'On the Move'. She concurrently holds significant public appointments as Chair of the Institute of European Law at the University of Fribourg and Federal Commissioner for Women's Issues, with recent expert designation to the Federal Round Table on signature collection integrity for 2024. Her academic foundation includes a law degree from the University of Lausanne (1996), LL.M. in European and International Economic Law from the University of Fribourg, and doctoral thesis from the University of Lausanne (2004). Her career progression at the University of Neuchâtel spans assistant professor (2009-2014), extraordinary professor (2015-2016), and full professor positions since 2016, complemented by earlier research roles at Swiss National Science Foundation and University of Fribourg. Professor Amarelle's research centers on migration law frameworks, human rights protections in asylum systems, and constitutional dimensions of European integration. Her work critically examines the intersection of migration governance with digital technologies, climate change impacts, and gender equality. Current projects analyze temporary protection regimes, non-refoulement principles in technological contexts, and the evolving relationship between Swiss migration law and European legal frameworks. Her scholarship consistently bridges theoretical legal analysis with practical policy implementation challenges. Her extensive publication record demonstrates evolving focus from foundational migration law codification toward contemporary challenges including digital discrimination, child rights in emergency contexts, and sustainable finance frameworks. Recent scholarship reflects increasing engagement with technological impacts on migration governance and the humanitarian dimensions of temporary protection systems, while maintaining rigorous analysis of constitutional and European law interfaces. Professor Amarelle actively contributes to academic and public discourse through leadership in the Swiss Center for Migration Law and participation in the NCCR 'On the Move' consortium. Her public service includes significant political roles as Vaud State Councilor for Education (2017-2022) and National Councilor (2011-2017), where she chaired key committees on political institutions and finance while representing Swiss higher education interests nationally. She maintains active engagement with professional associations including the Swiss Conference of Higher Education Institutions and Conference of Directors of Public Education.

• Forensic Science
• Computational Forensics
• Evidential Evaluation
• +۳ مورد دیگر

Charles E.H. Berger serves as Professor by Special Appointment in Criminalistics at Leiden University's Institute for Criminal Law and Criminology since November 2011, a position funded by the Stichting Leerstoel Criminalistiek. He concurrently holds a principal scientist position at the Netherlands Forensic Institute (NFI), where he contributes to education, R&D strategy, and research on forensic evidence interpretation. His research program centers on logically sound interpretation of forensic evidence through probability theory and computational methods. Berger specializes in applying Bayesian statistics to forensic anthropology, personal identification, and evidential evaluation. His work emphasizes moving forensic science toward activity-level interpretations while managing contextual information to prevent bias. Berger plays a pivotal international role as member of ISO technical committee TC272, serving as lead editor for Part 4 (Interpretation) of the ISO-21043 Forensic Sciences standard. His scholarly contributions focus on improving forensic reasoning frameworks and establishing objective evaluation methodologies. His publications demonstrate consistent engagement with foundational forensic science challenges, particularly in developing statistically rigorous approaches to evidence interpretation that maintain scientific integrity within legal contexts. Berger actively promotes scientifically sound practices across the criminal justice system, emphasizing the importance of clear communication between forensic scientists, legal professionals, and other stakeholders to ensure proper understanding and application of forensic evidence.

Danfeng Zhangمشاهده پروفایل

استاد

• Programming Languages
• Security
• Differential Privacy
• +۵ مورد دیگر

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

Peter Müllerمشاهده پروفایل

استاد

• Formal Methods
• Program Verification
• Programming Languages
• +۴ مورد دیگر

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

• Philosophy of Economics
• History of Economic Thought
• Austrian School of Economics
• +۵ مورد دیگر

Dr. Alexander Linsbichler serves as Senior Postdoc and Principal Investigator at the Institute of Philosophy and Scientific Method at Johannes Kepler University Linz. He leads the FWF ESPRIT project 'Adverse Allies: Logical Empiricism and Austrian Economics' and will assume Principal Investigator duties for the OeNB (Austrian National Bank) Anniversary Fund Project 'Carl Menger as a Central Banker?' starting January 2025. Concurrently, he holds faculty appointments at the Vienna Doctoral School of Philosophy (University of Vienna) and the Department of International Economics (Vienna International School), and lectures at multiple economics departments across Vienna and Graz institutions. Dr. Linsbichler earned his doctorate in Philosophy from the University of Vienna with highest distinction in September 2020 through the Doctoral Program 'The Sciences in Historical, Philosophical and Cultural Contexts.' His academic foundation includes an MA in History and Philosophy of Science (2014) and a Mag.rer.nat. in Mathematics: Mathematical Logic and Foundations (2012), both completed with highest distinction from the University of Vienna and Vienna University of Technology. His research centers on the philosophical foundations of economics, with particular emphasis on the Austrian School of Economics within historical context. Dr. Linsbichler investigates the complex relationship between Logical Empiricism and Austrian Economics, the evolution of economic methodology, and the history of economic thought from Viennese Enlightenment through 20th century debates. His work frequently examines intellectual connections between figures like Otto Neurath, Ludwig von Mises, and members of both the Vienna Circle and Mises Circle, challenging conventional narratives about these philosophical and economic traditions. Analysis of his recent publications reveals a scholarly trajectory focused on re-examining foundational assumptions in economic thought, particularly regarding the socialist calculation debates, the role of formal methods in economics, and the historical development of Viennese economic philosophy. His interdisciplinary approach integrates philosophy of science, economic methodology, and historical analysis to provide nuanced perspectives on longstanding debates in economic theory. 2nd place RHETM Paper Prize 2020 for 'Rationalities and Their Limits: Reconstructing Neurath's and Mises's Prerequisites in the Early Socialist Calculation Debates' As Principal Investigator of major research projects funded by the Austrian Science Fund (FWF) and the Austrian National Bank, Dr. Linsbichler manages substantial research resources. His FWF ESPRIT project 'Adverse Allies' explores historical connections between Logical Empiricism and Austrian Economics, while his upcoming OeNB project will investigate Carl Menger's central banking contributions. These projects demonstrate his ability to secure competitive funding and lead interdisciplinary research teams examining foundational questions in economic thought. Dr. Linsbichler actively participates in multiple research initiatives including 'Adverse Allies: Logical Empiricism and Austrian Economics' (FWF), 'Carl Menger as a Central Banker?' (OeNB), and 'Normative Framework for Measuring Lifespan Inequity' (NORM_LIFE). These projects unite scholars from philosophy, economics, and history to investigate methodological questions in economic theory and policy formation, with particular attention to how philosophical frameworks shape economic reasoning.

Michael D. Ernstمشاهده پروفایل

استاد

• software engineering
• programming languages
• type theory
• +۶ مورد دیگر

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

Victor R. Leeمشاهده پروفایل

دانشیار

• Data Science Education
• STEM Education
• K-12 Education
• +۴ مورد دیگر

Victor R. Lee serves as an Associate Professor at Stanford University's Graduate School of Education, with his office located at CERAS Building (520 Galvez Mall, Suite 531) in Stanford, California. He is actively affiliated with the Center for Studies in Education and Technology (CSET), where he conducts interdisciplinary research at the intersection of technology and learning. Dr. Lee holds a Ph.D. in Learning Sciences from Northwestern University and earned dual Bachelor's degrees in Cognitive Science and Mathematics from the University of California, San Diego. His academic trajectory bridges technical disciplines with educational research, establishing a foundation for his work in data-intensive learning environments. His research program centers on two interconnected domains: data literacy development in K-12 contexts and STEM education innovation across diverse learning spaces. He investigates how individuals make meaning from data during inquiry-based learning, with particular emphasis on self-collected student data and the epistemological challenges of data sense-making. Concurrently, his STEM education work spans traditional classrooms, makerspaces, computer labs, and school libraries, examining engaged learning practices and conceptual change in mathematics and science. Current projects focus on identifying the specialized knowledge teachers require to effectively scaffold student interactions with complex real-world datasets. Recent publications (2023-2024) reveal a strategic pivot toward artificial intelligence education, examining both teacher preparation and student understanding of AI systems. His work demonstrates consistent methodological rigor through design-based research, classroom implementations, and analysis of student reasoning patterns, particularly regarding how learners conceptualize algorithmic processes in platforms like YouTube. As a core faculty member within CSET, Dr. Lee collaborates with multidisciplinary teams to develop and evaluate educational interventions that bridge theoretical learning sciences with practical classroom applications, with recent emphasis on AI literacy tools and data-enabled pedagogical approaches.

• Programming Language Design
• Program Verification
• Type Theory
• +۳ مورد دیگر

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.

Nir Pitermanمشاهده پروفایل

استاد

• formal verification
• automata theory
• model checking
• +۴ مورد دیگر

Nir Piterman is a Professor in Computer Science at the University of Gothenburg's Department of Computer Science and Engineering. Previously, he was a Lecturer and later Reader (Associate Professor) at the University of Leicester (2010-2019), following postdoctoral research at EPFL (2005-2007) and a Research Fellowship at Imperial College London (2007-2010). PhD from Weizmann Institute of Science (2005), supervised by Amir Pnueli Postdoc at EPFL with Tom Henzinger (2005-2007) Research Fellow at Imperial College London (2007-2010) Lecturer at University of Leicester (2010-2019), promoted to Reader in 2012 Universitets Lektor (Associate Professor) at University of Gothenburg (2019-2021), promoted to Professor in 2021 His research focuses on formal verification, automata theory, and synthesis from temporal specifications. Current work under the ERC Consolidator Project dSynMA extends reactive synthesis to multi-agent systems, exploring frameworks combining message passing and variable sharing, algorithmic analysis of games with partial information, and logic extensions for agent interaction. He has supervised eight PhD students, including Prabhat Kumar Jha (path planning in game solving), David Lidell (automata constructions for LTL with past), and Claudia Cauli (cloud infrastructure security reasoning, 2022), with theses covering program verification, temporal logic, and game algorithms. ERC Consolidator Grant (2021-?, dSynMA) Editor-in-Chief, Formal Methods in System Design Editor, Acta Informatica Nir has taught courses such as Principles of Concurrent Programming (Chalmers, 2019-2025), Advanced C++ Programming (University of Leicester, 2012-2017), and Synthesis from Temporal Specifications (University of Buenos Aires, 2010). He actively recruits PhD candidates and has hosted postdoctoral researchers at multiple institutions.