Didrik Lundberg is a Researcher at the Department of Theoretical Computer Science within the School of Electrical Engineering and Computer Science at Royal Institute of Technology . His work focuses on system security and formal methods , particularly in mechanized reasoning for the P4 programming language. Key research areas include formal verification , network security , and program logic , as evidenced by his publications on HOL4P4 , symbolic execution , and unstructured program logics . He has presented at international conferences such as SEFM 2020 , OOPSLA 2024 , and VSTTE 2024 . His peer-reviewed articles and conference contributions span topics like P4 semantics, data plane verification, and Hoare-style logic for unstructured programs. He also authored a master's thesis titled Provably Sound and Secure Automatic Proving and Generation of Verification Conditions (2018).
Sophia A. Malamud is an Associate Professor in the Department of Computer Science at Brandeis University, where she directs the Meaning In Language Research Group (MILa) and is affiliated with the Language & Linguistics Program. Her research specializes in theoretical linguistics with a focus on formal semantics, formal pragmatics, discourse-syntax interactions, and semantics-pragmatics interface. Her educational background includes a Ph.D. in Linguistics with a dissertation on Semantics and pragmatics of arbitrariness and an M.A. in Mathematics exploring statistical decision theory in Entropy as relevance: maximizing entropy and minimizing loss . Malamud's research investigates discourse coherence, word order variations, indexicality, semantics of impersonals/plurals, speech acts, and utterance modifiers. She leads NSF-funded projects creating annotated corpora of spoken Russian (including the BiRCh Corpus), examining bilingual acquisition and heritage language phenomena. Her work employs corpus linguistics, experimental methods, and formal modeling. Her publications demonstrate consistent focus on pragmatic computation models, conversational dynamics, and cross-linguistic semantics, with frequent examination of Russian, Mandarin, and Greek data. Key themes include commitment avoidance strategies, conversational scoreboard modeling, and formal analyses of particles/pronouns. Awards include: NSF Grant BCS-1651083 for BiRCh Corpus development Mandel Foundation Faculty Grant for heritage language research Theodore and Jane Norman Award (2018) Multiple Brandeis Provost Research Grants Malamud has advised 8+ graduate/undergraduate theses on topics including heritage Russian pragmatics, utterance particles, reduplication, and distributivity. She collaborates internationally on corpus projects and directs research teams at Brandeis' Laboratory for Linguistics and Computation.
Jeffrey Horsburgh is a Professor in Civil and Environmental Engineering and a Water Researcher at the Utah Water Research Laboratory (UWRL) at Utah State University. His work focuses on hydroinformatics, environmental sensor networks, and watershed hydrology, integrating data models, cyberinfrastructure, and GIS for water quality and hydrology research. Professor, Utah State University (College of Engineering) Utah Water Research Laboratory Research Interests: Dr. Horsburgh develops technology for environmental observatories, emphasizing high-frequency sensor data, reproducibility, and cyberinfrastructure. His research spans watershed hydrology, surface water quality, human dimensions of water use, and standards-based data sharing through platforms like HydroShare and HydroServer. Notable Awards: 2024 USU Outstanding Researcher 2023 Reproducibility Author Award 2019 Outstanding Teacher 2014 Early Career Excellence Award (International Environmental Modelling & Software Society) Education: Ph.D., MS, and BS in Civil/Environmental Engineering from Utah State University (2009, 2001, 1999).
Professor Franz Berto holds the position of Professor of Logic and Metaphysics at the University of St Andrews, where he also serves as Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology. Additionally, he maintains an affiliation with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where he has taught in the Master in Science of Logic program. His academic journey includes previous appointments at the University of Aberdeen, the Institute for Advanced Study at the University of Notre Dame, the Sorbonne-Ecole Normale Supérieure in Paris, and several Italian universities including Padua, Venice, and Milan-San Raffaele. Professor Berto's research spans multiple areas of philosophical inquiry with particular focus on non-classical logics, impossible worlds, and the philosophical implications of computation. His work demonstrates a distinctive approach that bridges analytic and continental traditions, with special interest in logical paradoxes and their metaphysical implications. He has made significant contributions to understanding how imagination functions in epistemic contexts and how counterfactual reasoning operates across different domains of inquiry. His recent publications reveal a consistent trajectory examining the intersection of logic, epistemology, and metaphysics, with increasing attention to hyperintensional approaches that go beyond traditional possible worlds semantics. The trend shows growing sophistication in modeling cognitive processes related to imagination, belief revision, and counterfactual reasoning, often incorporating insights from computer science and cognitive psychology. Fellow of the Royal Society of Edinburgh (FRSE, 2022) Honorary Chaire Mercier, Institut Supérieur de Philosophie, Université Catholique de Louvain (2020) José Gaos Honorary Chair, National Autonomous University of Mexico (UNAM, 2023) Professor Berto has successfully secured substantial research funding including an ERC Consolidator grant of €2,000,000 for 'The Logic of Conceivability' project (2016-2022), a Leverhulme Trust grant of £500,000 for 'What If? Knowing By Imagining [WIKI]' (2025-2028), and an AHRC Early Career Researcher grant of £240,000 for 'The Metaphysical Basis of Logic' (2013-2015). His supervision portfolio includes doctoral students working on diverse topics ranging from modal epistemology to the philosophy of computation, with several securing prestigious fellowships. As Editor-in-Chief of The Philosophical Quarterly since 2020, he plays a significant role in shaping contemporary philosophical discourse. Professor Berto leads research within the Arché Philosophical Research Centre at St Andrews, a world-renowned hub for work in metaphysics, epistemology, and philosophical logic. His current projects involve collaborations with researchers across Europe and North America, particularly focusing on the logical structure of imagination and counterfactual reasoning. The 'What If?' project brings together philosophers, cognitive scientists, and computer scientists to develop a comprehensive framework for understanding how imagination serves as a tool for knowledge acquisition.
Alina Arseniev-Koehler serves as Assistant Professor in the Department of Sociology at Purdue University, where she bridges computational methods with cultural sociology to investigate language, health, and social inequality. Her research clarifies how cultural meaning systems perpetuate disparities through stereotypes related to body weight, disease, and gender. Her academic background includes: B.A. in Sociology, University of Washington (2014) Master's and Ph.D. in Sociology, University of California, Los Angeles (2022) Dr. Arseniev-Koehler's methodological expertise centers on computational text analysis using word embeddings and machine learning to model cultural meaning in large datasets. She examines how language encodes moral judgments about obesity, stigmatizing disease narratives, and gender stereotypes in educational contexts. Her work demonstrates that computational methods require deep theoretical engagement with sociological concepts of meaning. Analysis of her recent publications (2021-2025) reveals three dominant research trajectories: (1) Methodological innovation in word embedding applications for cultural measurement, (2) Health disparity investigations using the All of Us Research Program and NVDRS data, particularly regarding obesity diagnosis and suicide patterns, and (3) Gendered analysis of mental health indicators and educational stereotypes through historical media analysis. No scientific awards were documented in the provided materials. Information regarding graduate student advising and external grant funding was not specified in the available sources. While no dedicated research lab is mentioned, her work consistently leverages interdisciplinary collaborations through access to national datasets like the National Violent Death Reporting System.
Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.
Michael Kifer is a Professor in the Department of Computer Science at Stony Brook University . His research focuses on declarative languages, logic programming, semantic web, and integration of object-oriented and deductive paradigms. He has received multiple prestigious awards including three ACM-SIGMOD 'Test of Time' awards, SUNY Chancellor's Award, and Stony Brook's Research Excellence Award. Ph.D. in Computer Science, Hebrew University of Jerusalem (1985) M.S. in Mathematics, Moscow University (1976) Dr. Kifer's research interests span over 30 years, with major contributions to databases, knowledge representation, and semantic web technologies. He co-invented F-logic, HiLog, Annotated Logic, and Transaction Logic, which are widely cited in computer science literature. His recent publications focus on hybrid logic programming, multilevel modeling (MLM), and knowledge authoring systems like Flora-2. These works bridge rule-based reasoning, controlled natural language, and semantic web technologies. Scientific Awards : Department Research Excellence Award (2014) ACM-SIGMOD 'Test of Time' Awards (1999, 2002) SUNY Chancellor's & Stony Brook President's Awards (2008) Association for Logic Programming 'Test of Time' Award (2013) Plumer Fellowship at Oxford (2006) Dr. Kifer has served on editorial boards and chaired conferences in logic programming and semantic web. He developed the Flora-2 knowledge representation system and contributed to standards like RIF (Rule Interchange Format).
Alexander Alexandrovich Kharlamov serves as a Professor at the National Research University Higher School of Economics (HSE), specifically within the Faculty of Computer Science and Department of Software Engineering. He joined HSE in 2015 and has accumulated 42 years of scientific and teaching experience. His academic profile includes prominent identifiers such as ORCID: 0000-0003-2942-5101, ResearcherID: E-3760-2014, and Scopus AuthorID: 57193909855. He maintains an office at the Pokrovsky Boulevard campus (AUK "Pokrovsky Boulevard", Pokrovsky blvd, 11, office S913) and serves as the Editor-in-chief of the journal "Speech Technologies" since 2008. Doctor of Technical Sciences (2010) from Moscow State Institute of Electronics and Mathematics Candidate of Technical Sciences (1983) from Moscow State Technical University named after N.E. Bauman Postgraduate study (1980) at Moscow State Technical University named after N.E. Bauman Mathematics degree (1976) from Lomonosov Moscow State University Thermal Physics degree (1970) from Moscow Power Engineering Institute Professor Kharlamov's research focuses primarily on neuroinformatics, with significant contributions to neural networks, semantic representations, and intelligent information systems. His work bridges computational approaches with cognitive modeling, exploring how semantic networks can be used for text analysis, speech recognition, and situation monitoring. His research interests span both theoretical foundations of neuroinformatics and practical applications in areas such as social media analysis, smart city development, and digital transformation. He has developed the TextAnalyst technology for automatic semantic analysis of text and has made significant contributions to understanding how humans process information through neural network models. His recent scholarly output demonstrates a clear trajectory toward multimodal systems, digital transformation in urban environments, and advanced semantic analysis techniques. The publications reveal a consistent focus on applying neuroinformatics principles to real-world problems, particularly in analyzing social dynamics through digital footprints, developing intelligent monitoring systems, and creating semantic frameworks for information processing. His work increasingly addresses contemporary challenges such as pandemic response, social stress analysis, and digital conflict zones, showing adaptability to emerging societal needs while maintaining theoretical rigor. Corresponding Member of the International Academy of Informatization (1994) Professor Kharlamov has secured significant research funding through grants from the Russian Foundation for Basic Research (No. 14-06-00363) and the Russian Humanitarian Science Foundation (No. 15-03-00860). His research leadership spans decades, with documented projects from 1996 to present, covering areas such as neural network modeling, speech recognition systems, semantic analysis technologies, and intelligent information systems. He has served as principal investigator for numerous projects, often collaborating with institutions like IITP RAS and Bauman Moscow State Technical University. His teaching portfolio includes advanced courses in neuroinformatics, neuromathematics, and neural network theory for both bachelor's and minor programs at HSE. As Editor-in-chief of the journal "Speech Technologies" since 2008, Professor Kharlamov has shaped discourse in his field while continuing his own research on semantic networks and neural modeling. His work on homogeneous semantic networks represents a significant contribution to the field, providing frameworks for text analysis, situation monitoring, and knowledge representation. The integration of his theoretical work on neural networks with practical applications in information systems demonstrates a career-long commitment to bridging theoretical computer science with real-world implementation challenges.
Alexey Vladimirovich Khoroshilov is an Associate Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), affiliated with the Basic Department "System Programming" of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He joined HSE in 2015, bringing 20 years of scientific and teaching experience to his position. His academic background includes a Candidate of Physical and Mathematical Sciences degree (2006) and a specialty in Applied Mathematics and Computer Science from Moscow State University named after M.V. Lomonosov (2001), with the qualification of Mathematician and Systems Programmer. His primary research interests focus on formal methods of software engineering, particularly in the verification and validation of critical systems. He specializes in methods for designing and developing critical systems, formal verification techniques, model-based testing, and requirements analysis. His work has significant applications in operating systems security, real-time systems, and safety-critical software development. His recent publications demonstrate a strong focus on operating system verification, with particular emphasis on abstract model-based runtime verification, security policy integration, and multi-level requirements compliance. His research often combines theoretical formal methods with practical applications in operating system security and verification. The recurring themes across his work include component-based verification approaches, thread-modular analysis techniques, and formal modeling of security policies. Khoroshilov maintains a strong connection with the Institute for System Programming of the Russian Academy of Sciences, where he has worked since 1999 and held the position of leading research fellow as of 2014. He also teaches at Moscow State University's Department of System Programming within the Faculty of Computational Mathematics and Cybernetics since 2009. His teaching focuses on operating system development, particularly courses on the design of operating system kernels for both bachelor's and master's programs. His technical expertise includes verification of operating system components, security policy implementation, and requirements management for critical systems. He has contributed to significant projects related to aviation real-time operating systems, formal security models, and Linux kernel verification.
Dr. Jorge Fandinno is an Assistant Professor of Computer Science at the University of Nebraska at Omaha since 2020. His academic journey includes an Alexander von Humboldt Fellowship at the University of Potsdam (Germany) and a Postdoctoral Fellowship at the Toulouse Institute of Computer Science Research (France). He earned his Ph.D. in Computer Science from the University of Corunna (Spain) in 2015. Current Role: Assistant Professor, Computer Science Department, University of Nebraska at Omaha (2020–present) Previous Roles: Alexander von Humboldt Fellow (University of Potsdam, Germany), Postdoctoral Fellow (Toulouse Institute of Computer Science Research, France) Dr. Fandinno’s research focuses on Artificial Intelligence , particularly in Knowledge Representation and Reasoning , Answer Set Programming , and Epistemic Logic . His work bridges theoretical and practical aspects, including the development of formal semantics, deductive systems, and applications in causal reasoning and constraint handling. Recent publications emphasize automated reasoning, strong equivalence verification, and integrating quantitative information into logic programming frameworks. His scholarly output includes over 60 publications in prestigious venues such as Artificial Intelligence , Journal of Artificial Intelligence Research , and conferences like AAAI, IJCAI, and LPNMR. He has received three best technical paper awards at LPNMR (2015, 2017, 2019) and mentored students who won best student papers at JELIA and ICLP. Notably, he secured a NSF CAREER award (2024) for his project on Answer Set Programming for Quantitative Information. Scientific Awards: NSF CAREER award (2024) Best technical paper, LPNMR 2015 Best technical paper, LPNMR 2017 Best technical paper, LPNMR 2019 Best student paper, JELIA 2019 (supervised student) Best student paper, ICLP 2020 (supervised student) Dr. Fandinno’s publications span theoretical advancements in logic programming, epistemic reasoning, and practical applications in causal analysis and constraint satisfaction. His recent work explores automated reasoning tools (e.g., Anthem 2.0 ), recursive aggregates, and complexity assessments in ASP.
Dr. Anna Rosenkranz is a researcher at the Institute for German Linguistics, specializing in Clinical Linguistics at Philipps-Universität Marburg. She holds a visiting professorship at the Department of Educational and Rehabilitation Sciences, University of Cologne (2024-2025), focusing on language disorders in neurologically impaired populations. Her career spans institutions including Ruhr-Universität Bochum and University of Reading, with a PhD in Linguistics (2015). Current affiliations: Philipps-Universität Marburg (since 2019), University of Cologne (2024-2025) Education: PhD Linguistics (Bochum), MA Speech Science (Marburg), BA Linguistics (Bochum) Rosenkranz's research bridges clinical linguistics and neuropsychology, focusing on: Executive function contributions to word retrieval in aphasia Complex semantic processing in cognitive communication disorders Diagnostic tools for subtle post-brain-injury communication deficits Psycholinguistic models of verbal fluency in psychiatric and neurological conditions Digital participation barriers for speech-language impaired individuals Her work emphasizes practical applications in speech therapy, including the development of the KomplexSem test and FAVRES-D assessment. Recent publications analyze digital accessibility challenges, semantic processing, and cognitive-linguistic interactions across conditions like schizophrenia and dementia. Professional activities include: Co-developer of cognitive-communication screening tools (CCCABI-DE, KomplexSem) Coordinator of continuing education programs (2022-2024) Keynote speaker at international workshops on language production and neurorehabilitation Contributor to BMBF-funded projects on 'small disciplines with high potential'
Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.
Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.
Michael Minock is an Associate Professor in Computing Science at Umeå University. His research focuses on the intersection of AI and relational databases, particularly in natural language interfaces, semantic tractability, and knowledge representation. He has led significant projects such as the VR grant (2015-04953) and EU STREP SpaceBook (2011–2014). Minock also co-founded C-Phrase Technologies AB and teaches courses on databases and large language models. B.S. in Computer Science (Honors), University of Michigan Ph.D. in Computer Science, UCLA His research explores the logical foundations of database query languages, emphasizing higher-order logic in natural language interfaces. Recent work integrates LLMs into database management systems. Key publication trends include query containment analysis, cooperative question answering, and context-aware navigation systems. Subfields span natural language processing, spatial databases, and semantic reasoning. Scientific Awards: Pell Grants Michigan Competitive Scholarship DARPA AASERT Award Minock's teaching includes courses on database management and LLM applications in IT. He actively contributes to open-access publications and maintains a strong interdisciplinary focus across AI, logic, and real-world database challenges.
Dr. Silvia Jonas is a philosopher at the University of Bamberg's Department of Philosophy, holding an academic rank of Assistant Professor. She is also affiliated with the Munich Center for Mathematical Philosophy (MCMP) as a Minerva Fellow (2017-2019) and will commence a Marie Skłodowska Curie Fellowship in October 2019. PhD in Philosophy, Humboldt University Berlin (2012) BPhil in Philosophy, University of Oxford (2010) MLitt in Philosophy, University of St Andrews (2008) Magister Artium in Political Science/Philosophy/Religious Studies, Ludwig-Maximilians-Universität München (2007) Her research focuses on the intersection of philosophy of mathematics and science with epistemology, metaphysics, and philosophy of language. She investigates how mathematics shapes philosophical conceptualization of reality, whether reality exceeds physicalism, and the limits of linguistic knowledge. Her work extends to metaethics, aesthetics, and philosophy of religion, particularly examining ineffability across domains. Recent publications include analyses of mathematical indispensability, moral disagreement, and theological implications of structuralist metaphysics. She explores aesthetic ineffability and epistemic challenges in scientific explanations. Upcoming work examines the relationship between mathematics and thought. Marie Skłodowska Curie Fellowship (2019) Fast Track Program for Outstanding Women in Science (Robert Bosch Foundation) Minerva Fellowship (Max Planck Society, 2017-2019) John Templeton Foundation grant (2016-2019) Jonas advises on mathematical conceptualization of reality and participates in public philosophy through media appearances and events like World Science Festival and HowTheLightGetsIn festival. Her work combines formal philosophical analysis with interdisciplinary engagement.
