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

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Formal Verification
• +۳ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During the 2023-24 academic year, he served as a Visiting Professor at EPFL in the Data Center Systems Laboratory. His research bridges Programming Languages and Networking , focusing on formal verification, data plane programming, and language design for networked systems. His recent work includes developing symbolic automata for network verification (e.g., Active Learning of Symbolic NetKAT Automata , StacKAT ), creating efficient verifiers like KATch , and advancing type safety in data plane programming (e.g., SafeP4 ). These efforts span formal methods, algorithm optimization, and practical networked systems. Notable scientific awards include: NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award He actively contributes to PLDI, POPL, OOPSLA, and ICFP, serving as author, editor, and committee member. His GitHub repositories include tools for academic website templates and programming language research codebases.

James Brotherstonمشاهده پروفایل

استاد

• Logic
• Computation
• Separation Logic
• +۵ مورد دیگر

James Brotherston is Professor of Logic and Computation in the Programming Principles, Logic and Verification Group (PPLV) at University College London's Department of Computer Science. His research spans logic, computation, and verification, with a focus on separation logic, cyclic proofs, and automated reasoning for program correctness. Research interests include: Foundations of program verification using separation logic Automated reasoning via cyclic proof systems Concurrency and deadlock detection Formal methods for security and resource management Applications of substructural logics in computer science His publications demonstrate consistent focus on logical foundations of verification, with recent work expanding into concurrency testing and atomic operations compatibility. Trends include theoretical advances in proof systems alongside practical verification tools. Scientific awards and grants: Facebook Testing and Verification Research Award (2019) £6M EPSRC Programme Grant for IRIS project (2018-2024) Facebook Faculty Grant (2015) Multiple EPSRC fellowships and grants totaling over £1.2M (2008-2017) He has supervised 12+ PhD students and research fellows, with current students working on verification of concurrent systems. Leads research in the PPLV group and collaborates internationally on logical frameworks.

• Information Systems
• Business/IT Alignment
• Machine Learning
• +۵ مورد دیگر

Lerina Aversano is an Associate Professor in the Department of Engineering (DING) at the University of Sannio, specializing in Information Processing Systems (ING-INF/05). Her research focuses on the intersection of business processes and information technology, with particular expertise in business/IT alignment, process mining, and machine learning applications. Her research interests include: Business/IT alignment and strategic integration Machine learning and deep learning applications in healthcare diagnostics Process mining and predictive analytics for business processes Software engineering and service-oriented computing Semantic integration of heterogeneous data sources Over her extensive career, Aversano has published 145 research items with a clear evolution from foundational work in business/IT alignment to cutting-edge applications of AI in healthcare and business process management. Her most recent publications demonstrate expertise in explainable AI for process prediction, AI applications in medical diagnosis (including Parkinson's and thyroid diseases), and security for IoT systems, showing her ability to adapt to emerging technologies while maintaining focus on core alignment issues between business needs and technological solutions. She maintains an active research group with frequent collaborations with Mario Luca Bernardi, Marta Cimitile, Martina Iammarino, and Maria Tortorella, producing significant contributions to information systems literature. Her work appears in reputable venues including IEEE conferences, Springer publications, and journals like Information and Software Technology.

Emmanuel Haucourtمشاهده پروفایل

استاد

• Directed Algebraic Topology
• Concurrency Theory
• Static Analysis of Concurrent Programs
• +۳ مورد دیگر

Emmanuel Haucourt is a Professor of Computer Science at École Polytechnique, conducting research at the Computer Science Laboratory (LIX) within the Cosynus team. His work focuses on applying directed algebraic topology to analyze concurrent programs. Research Interests: Directed Algebraic Topology, Concurrency Theory, Geometric Models in Computer Science, Static Analysis of Concurrent Programs, Software Verification, and Theoretical Computer Science. Publications Trends: His publications emphasize the use of higher-dimensional geometric structures (e.g., d-spaces, cubical areas, non-Hausdorff manifolds) to model concurrency, enabling deadlock detection and state-space reduction through theoretical advances in category theory and topology. Laboratory: Affiliated with the Computer Science Laboratory (LIX) at École Polytechnique and the Cosynus team.

• Software Engineering
• Artificial Intelligence
• Cybersecurity
• +۵ مورد دیگر

Xiaofei Xie is an Assistant Professor at the School of Computing and Information Systems (SCIS), Singapore Management University (SMU). He received his PhD from Tianjin University in 2018 and was a postdoctoral researcher at Nanyang Technological University (2018-2021) before joining SMU in 2022. His research focuses on software engineering, AI systems, and cybersecurity. Dr. Xie's primary research areas include program analysis, software testing, vulnerability detection, and quality assurance of AI systems. His work spans: Testing methodologies for autonomous systems and games AI security including backdoor detection and model robustness Automated program repair and code generation Formal methods and semantic code analysis His recent publications demonstrate strong emphasis on AI/ML system testing, cybersecurity applications, and program analysis techniques. Research trends show increasing focus on LLM-based program repair, autonomous system validation, and federated learning security. Major Awards: ACM SIGSOFT Distinguished Paper Awards (ASE'23, ISSTA'22, ASE'19, FSE'16) CCF Outstanding Doctoral Dissertation Award (2019) 3rd place in AI Singapore's Trusted Media Challenge (2022) Wallenberg-NTU Presidential Postdoctoral Fellowship (2019) APSEC Best Paper Award (2020) He currently advises 7 PhD/Master's students including CHENG Mingfei, KONG Jiaolong, and YU Jiongchi. Dr. Xie leads research in software reliability and AI security at SMU's SCIS.

Noortje Venhuizenمشاهده پروفایل

استادیار

• Computational Semantics
• Discourse Processing
• Language Comprehension
• +۳ مورد دیگر

Noortje Venhuizen is an Assistant Professor in the Department of Cognitive Science and Artificial Intelligence at the Tilburg School of Humanities and Digital Sciences, Tilburg University. She serves as Academic Director for the BSc Cognitive Science and Artificial Intelligence program since 2024, and has held academic positions at Saarland University (2015-2022) including roles as Scientific Staff member and Principal Investigator in SFB 1102 projects. PhD in Computational Semantics (University of Groningen, 2015) MSc in Logic (ILLC, University of Amsterdam, 2011) BSc in Artificial Intelligence (Utrecht University, 2009) Her research focuses on expectation-based language comprehension, neurocomputational modeling of semantic processing, distributional formal semantics, and pragmatic reasoning in discourse. Key contributions include PDRT-SANDBOX (Haskell NLP library) and DFS Tools (Prolog implementation of distributional formal semantics). Recent publications (2023-2025) explore multimodal word meaning, informativity in reference production, and neurocognitive models of surprisal processing. Her work combines formal semantics with cognitive neuroscience and computational modeling. LOT Grotevragenprijs essay contest - Second Prize She has presented research at major conferences including CogSci, AMLaP, and Sinn und Bedeutung. Current teaching includes courses on artificial intelligence, statistics, and semantic theory.

Anna Farihaمشاهده پروفایل

استادیار

• Data Management
• Human-Centered Systems
• Usability Engineering
• +۴ مورد دیگر

Anna Fariha is an Assistant Professor in the Kahlert School of Computing at the University of Utah. She co-leads the Data Management Research Center for Human-centered, Efficient, and Scalable Systems. Her research focuses on enhancing data system usability, explainability, and trustworthiness through algorithmic innovations and practical implementations. She holds a Ph.D. from the Manning College of Information and Computer Sciences at the University of Massachusetts, Amherst, under Prof. Alexandra Meliou. Education: Ph.D. in Computer Science, University of Massachusetts Amherst (2021) Master's in Computer Science, University of Massachusetts Amherst (2020) Undergraduate work in Computer Science, unspecified institution Her research interests include data wrangling tools, constraint discovery, conversational AI for data science, and human-centered database systems. Recent work emphasizes automated data summary recommendations, constraint violation detection, and educational tools for data science programming. Grants & Awards: NSF CIRC: ENS/Grand: POWDER-ENS Award (2024) Stena Center Seed Grant for Fintech Data Analysis (2025) Microsoft Research Dissertation Grant (2020) SIGMOD 2022 Comprehensive Reproducibility Award Teaching: Recently taught Advanced Database Systems , Human-Centric Data Management , and Deep Learning courses at the University of Utah.

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

استاد

• Philosophy of Mind
• Philosophy of Science
• Metaphysics
• +۳ مورد دیگر

Andrew Melnyk is a Professor in the Department of Philosophy at the University of Missouri . His research focuses on philosophy of mind , philosophy of science , and metaphysics , particularly defending physicalism (or materialism) through the lens of realization theory. He is a member of the Heterodox Academy and the Academic Freedom Alliance . Education : B.A. in Literae Humaniores, Oxford University (1985) B.Phil. in Philosophy, Oxford University (1987) D.Phil. in Philosophy, Oxford University (1991) Research Interests : Defending physicalism via realization theory Philosophical methodology and naturalism Mind-body problem and phenomenal consciousness Reductionism vs. non-reductive physicalism Empirical evidence for materialism in neuroscience His publications, including the 2025 book Phenomenal Properties and the Intuition of Distinctness , critically engage with two-dimensionalism, supervenience, and the scientific plausibility of physicalism. His teaching includes Philosophy of Mind and Philosophy of Science courses at both undergraduate and graduate levels.

• Linguistics
• Russian Language
• Political Discourse
• +۵ مورد دیگر

Marina Vazanova is an Associate Professor at the Department of Romance and Slavic Languages, Faculty of Applied Languages, University of Economics in Bratislava, where she has worked since February 2021. Her career spans multiple institutions, including Comenius University in Bratislava (2016–2020), Chuvash State Pedagogical University in Russia (2006–2016), and Johannes Gutenberg University of Mainz (research internship in 2014). Current Position: Associate Professor (University of Economics in Bratislava) Past Roles: Lecturer, Head of Program, Department Chair Her research focuses on linguistic and cultural aspects of Russian language teaching , including componential analysis , political discourse , and cross-cultural communication . She has published extensively on topics such as address forms in political contexts , propaganda in media , and corpus-based linguistic expertise . Key trends in her recent publications (2019–2023) emphasize media linguistics , political communication , and language pedagogy . She has participated in international collaborations and organized conferences on Russian language education and bi/polylingualism. Vazanova has delivered 4 invited lectures at international/national levels and contributed to the Web of Science/Scopus database with 1 registered research output. Her organizational experience includes leadership roles in academic conferences and examination commissions.

Boyan Paskalev Bontchevمشاهده پروفایل

استاد

• Software Architecture
• E-Learning Systems
• Adaptive Hypermedia
• +۵ مورد دیگر

Boyan Paskalev Bontchev is a Professor in the Department of Software Technologies at Sofia University's Faculty of Informatics. With a PhD in Computer Science from the Center of Informatics and Computer Technology - Bulgarian Academy of Sciences, he has established himself as a prominent academic in software engineering and educational technology fields. His academic career includes teaching Java Server/Side Programming and OOAD-UML courses at Sofia University and New Bulgarian University since 2000. Professor Bontchev's research focuses on e-learning systems, adaptive hypermedia, and software architecture. His work centers around developing self-adaptive educational platforms, with significant contributions to the ARCADE e-learning platform that complies with IEEE LTSA standards. He has published extensively on topics including courseware composition, learning content interoperability, and assessment frameworks, demonstrating a consistent research trajectory in educational technology systems. His publications reveal a strong emphasis on practical applications of educational technology, particularly in self-adaptive hypermedia navigation, e-learning courseware delivery, and assessment interoperability. The research shows progression from foundational work on software architecture to increasingly sophisticated adaptive learning systems that incorporate learner modeling and personalized educational experiences. Professor Bontchev maintains active industry connections, having worked as a software engineer and project manager at companies including Rila Solutions, ESDI Ltd., and OBLOG Software Ltd. His international experience includes research stays at the University of Vienna and Technical University of Aachen, contributing to his broad perspective on educational technology development. With proficiency in multiple programming languages and environments including Java, JSP, Oracle, and web technologies, he bridges theoretical computer science with practical educational applications. His multilingual capabilities (English, Portuguese, German, Russian, Spanish) further enhance his international research collaborations and academic contributions.

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

استادیار

• Computational Logic
• Automated Reasoning
• Theoretical Computer Science
• +۷ مورد دیگر

Alexander Steen is an Assistant Professor (Juniorprofessor) at the University of Greifswald within the Institute of Mathematics and Computer Science. His research focuses on computational logic, automated reasoning, and theoretical computer science, with significant contributions to higher-order logic (HOL) and non-classical reasoning systems. He leads the development of the Leo-III automated theorem prover, a versatile system supporting classical HOL with choice, polymorphic logics, and higher-order modal/deontic logics. Steen's academic journey includes a Dr. rer. nat. (summa cum laude) from Freie Universität Berlin (2018), followed by post-doctoral work at the University of Luxembourg (2018-2021) as a principal investigator for the AuReLeE project on legal reasoning automation. He holds a 2024 nomination for the University of Greifswald Teaching Award and was elected Fellow of the Academy of Sciences and Humanities in Hamburg (2022). Key Research Areas: Higher-Order Logic, Automated Reasoning, Non-Classical Logics, Legal Tech, Formal Methods in AI, Computational Ethics. Major Projects: Leo-III (DFG-funded automated prover), AuReLeE (FNR-funded legal reasoning), MET (modal logic embedding tool). His recent publications (2025-2022) explore diverse applications of HOL in non-classical reasoning, legal formalization, argumentation frameworks, and TPTP infrastructure extensions. Steen actively contributes to AI governance as co-speaker of the GI AI section and deputy member of Greifswald's Senate. He also engages in science communication through works like the 2024 science comic book Was wissen wir schon (What Do We Know?), featuring his automated reasoning research. Scientific Honors: CLAR 2023 Best Paper Award, IRIS 2020 LexisNexis Best Paper Award, CASC-27 LTB Division Winner, Woody Bledsoe Travel Awards (CADE 2018, 2016), GI Junior Fellowship (2018). Advising: Supervises ongoing PhD/MSc/BSc theses in logic-based AI, modal reasoning, and legal tech at University of Greifswald and Freie Universität Berlin.

Marika Apostolova Trpkovskaمشاهده پروفایل

دانشیار

• Cybersecurity
• Blockchain Technology
• Industrial Internet of Things (IIoT)
• +۴ مورد دیگر

Marika Apostolova Trpkovska is an Associate Professor at the Faculty of Contemporary Sciences and Technologies, South East European University (Tetovo, Macedonia). Her academic work spans cybersecurity, blockchain technology, and educational technology with a focus on Industrial IoT security, semantic web applications, and digital learning systems. PhD in Computer Science (Specialty: e-Medical Services based on Semantic Web) MSc in Software Development and Applications BSc in Computer Sciences Her research covers cybersecurity frameworks for Industrial IoT, blockchain applications in public administration, and educational technology innovations including VR/AR integration and gamification. She has published extensively in international conferences and journals on these topics, with recent works focusing on machine learning-enhanced security protocols and decentralized real estate management systems. Current publications (2023-2024) highlight her expertise in IIoT security standards, smart contract development using Ethereum/IPFS, and cybersecurity threat modeling. Earlier works examine e-learning systems implementation, gender disparities in CS research, and real-time operating system validation. She serves as part-time academic staff member while maintaining technical roles in learning management system administration (LIBRI, ANGEL) and teaching responsibilities across software engineering, algorithms, and programming disciplines.

• Automotive Systems Engineering
• Generative AI
• Model-Based Engineering
• +۳ مورد دیگر

Fengjunjie Pan is a PhD student and research assistant at the Chair of Robotics, Artificial Intelligence and Embedded Systems at the Technical University of Munich since 2021. He holds an M.Sc. in Electrical Engineering from TU Berlin (2019) and a B.Eng. in Electrical Engineering from Hamburg University of Applied Sciences. His research focuses on automotive systems engineering and generative AI applications in model-based engineering. His publications (2022-2025) demonstrate expertise in: LLM integration for automotive software development Containerized architectures for autonomous driving Virtualization technologies in vehicular systems Constraint generation and model transformation He supervises multiple Master's and Bachelor's theses on generative AI applications and privacy-enhancing technologies in automotive contexts, working alongside Prof. Alois Knoll's team.

Didrik Lundbergمشاهده پروفایل

پژوهشگر

• System Security
• Formal Methods
• P4 Programming Language
• +۳ مورد دیگر

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).

• Theoretical Linguistics
• Formal Semantics
• Formal Pragmatics
• +۶ مورد دیگر

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.