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

Sanjay Somanathمشاهده پروفایل

پژوهشگر ارشد

• Social Sustainability
• Computational Design
• Geographic Information Systems
• +۳ مورد دیگر

Sanjay Somanath is a Research Fellow at Chalmers University of Technology's Department of Architecture and Civil Engineering. His research focuses on computational approaches to urban social sustainability, specializing in activity-based accessibility modeling, GIS applications, and digital tool development for neighborhood planning. He collaborates with sustainable building researchers including Alexander Hollberg and Holger Wallbaum. Education PhD (2024) - Chalmers University of Technology: 'Instruments of Inquiry for Urban Social Sustainability' M.Arch Digital Architecture and Tectonics (2018) - University of Nottingham B.Arch (2017) - BMS College of Engineering, Bangalore Research Focus Somanath's work centers on operationalizing urban social sustainability through digital frameworks. He develops computational instruments like activity-based accessibility models that simulate resident behaviors to evaluate neighborhood equity. His research bridges social theory with technical implementation, creating tools for participatory urban planning and sustainability assessment. Recent work explores digital twins for multi-domain urban simulation, machine learning for urban quality inference, and procedural generation of 3D city models. These contributions advance data-driven approaches for evaluating social infrastructure coverage and environmental impacts. Projects & Collaborations Developed Twinable: Interactive tool for socially sustainable neighborhood planning Contributed to DecarbonAIte: AI-based urban modeling for energy and environmental factors Collaborates with Sustainable Building research group at Chalmers

• Natural Language Processing
• Health Informatics
• Artificial Intelligence
• +۳ مورد دیگر

Warren Del-Pinto is a Researcher specializing in Natural Language Processing (NLP) and Health Informatics. His work focuses on ontology-based clinical text annotation, synthetic clinical data generation, and privacy-preserving healthcare technologies. He is affiliated with the Digital Futures Institute for Data Science and AI and the Christabel Pankhurst Institute, where he contributes to interdisciplinary research in healthcare AI and knowledge representation. Del-Pinto earned his PhD in 2022 under the supervision of Professor R. A. Schmidt, with a thesis titled Computing Spaces of Independent Explanations via Abductive Reasoning . His academic journey emphasizes formal logic systems, particularly in the context of medical terminologies like SNOMED CT. His research interests span NLP applications in healthcare, clinical data anonymization frameworks, and the development of standardized patient summary terminologies. He has published extensively on topics such as ontology modularization, conditional transformer models for medical text generation, and automated coding of clinical narratives. Key contributions include the Synthetic4Health framework for generating synthetic clinical letters and the DeIDClinic tool for de-identifying free-text clinical data. His work bridges theoretical computer science (e.g., description logics) with practical healthcare challenges, emphasizing explainability and interoperability in AI-driven systems.

Magnus Myreenمشاهده پروفایل

پژوهشگر

• Formal Verification
• Programming Languages
• Compiler Design
• +۴ مورد دیگر

Dr. Magnus Myreen is an affiliate researcher at the Department of Computer Science and Technology, University of Cambridge. His work focuses on formal verification, compiler correctness, and verified systems programming, with a particular emphasis on the CakeML project. He contributes to developing verified compilers, ensuring their reliability through rigorous mathematical proofs. His research integrates formal methods with practical systems programming challenges, addressing topics like SAT solver validation, hardware-software co-verification, and certified approximation algorithms. Myreen’s research interests span formal methods, programming languages, and compiler design. He explores techniques for verifying complex software systems, including device drivers, operating systems, and cryptographic functions. His projects emphasize end-to-end verification, ensuring that every component—from high-level specifications to machine code—is formally validated. Recent work includes advancements in verified propagation redundancy checking and the development of tools like Pancake for systems programming. He collaborates on initiatives such as the SAT Competition, contributing verified tools like VeriPB. His publications highlight trends in verified compilation, formalized mathematics, and the integration of interactive theorem provers with practical applications. Myreen’s efforts aim to bridge the gap between theoretical formal methods and real-world software engineering challenges.

Imran Asifمشاهده پروفایل

پژوهشگر

• Semantic Web
• Knowledge Graphs
• Digital Humanities
• +۵ مورد دیگر

Imran Asif is a Senior Research Software Engineer at the FAIR Epigraphy Centre within the Centre for the Study of Ancient Documents (CSAD) at the University of Oxford's Faculty of Classics. He has held teaching roles, including University Teacher at Heriot-Watt University's Computer Science Department (September 2021 – March 2022) and Software Engineering lecturer at the National University of Modern Languages (NUML), Pakistan. His academic background includes a PhD from the University of Edinburgh, supported by the James Watt scholarship, an MPhil, and a BS from Pakistan. PhD: Heriot-Watt University, UK (Semantic Publishing) MPhil: Focus on semantic web versioning BS: Pakistan-based institution His research interests center on semantic web technologies, knowledge graphs, FAIR principles, and linked data, with applications in digital humanities and epigraphy. He also has industrial experience in full-stack development (e.g., .Net, Java, Python) and semantic web tools like RDF/SPARQL. His work emphasizes interoperability between human and machine-understandable data, particularly in academic and epigraphic contexts. Publications highlight contributions to knowledge graph development (e.g., IDP-KG), nanopublications for research claim validation, and semantic publishing standards. These works blend bioinformatics, data quality, and digital publishing innovations. No scientific awards are listed. Advising and grants sections remain unspecified, though he has extensive teaching experience in database systems, software engineering, and web development. Current lab affiliation: FAIR Epigraphy Centre (Oxford) and CSAD.

Yuyan Baoمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Yuyan Bao is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University, affiliated with the School of Computer and Cyber Sciences. His research focuses on programming languages, formal methods, and software security, particularly in developing frameworks for program correctness and security verification. He holds a Ph.D. in Computer Science from the University of Central Florida (2017), a ME from Beihang University (2007), and a BE from Beijing University (2003). Education: Ph.D., Computer Science, University of Central Florida, 2017 ME, Computer Software Engineering, Beihang University, 2007 BE, Computer Science, Beijing University, 2003 Research interests include formal verification, higher-order functional programming, domain-specific languages, and secure multi-party computation. Recent work emphasizes reachability types for aliasing and separation tracking, and graph intermediate representations for optimization in impure languages. His projects include HACCLE for secure MPC and collaborations on cryptographic API misuse detection. His publications span formal methods, type systems, and security analysis, with a focus on practical applications of theoretical frameworks. He serves on the Faculty Search Committee and as a Journal Editor for Computer Software and Media Applications.

Veit Köppenمشاهده پروفایل

استاد

• Database Technology
• Data Management
• Business Process Management
• +۳ مورد دیگر

Prof. Veit Köppen holds the Professorship for Library Science - Technologies, Systems and Services at the University of Applied Sciences Potsdam (since 2023). He previously served as Director for Digital Development and Network Affairs at the Central and State Library of Berlin (2020-2023), and held leadership roles in IT and academic research at institutions like Otto von Guericke University Magdeburg and Humboldt University Berlin. His research focuses on database technology, data management, business process optimization, and library information systems. Notable contributions include work on multi-dimensional index structures, learning analytics metadata models, and FAIR data principles. He chairs the Departmental Council and represents library interests at Potsdam. His expertise spans digital transformation, data warehousing, and privacy-preserving systems. Over 50 peer-reviewed publications reflect his interdisciplinary impact across library science, computer science, and business informatics.

• Spatial Databases
• Geographic Information Systems (GIS)
• Big Data Analytics
• +۶ مورد دیگر

Alberto Belussi is an Associate Professor at the Department of Computer Science within the School of Science and Engineering at the University of Verona. He serves as a member of the PhD Councils, Teaching Boards, and various committees related to academic governance, including roles as Presidente of the University Language Centre's programming and administrative boards. Research Interests: Spatial query processing and optimization in geographical applications Conceptual modeling of spatial databases with emphasis on integrity constraints Machine learning techniques for spatial data Big data analytics with spatio-temporal datasets Development of tools for GeoUML and INSPIRE data specification interoperability Projects: He has led or participated in projects such as INDICE (Digital Innovations for Cultural Industries), Advanced digitization techniques and blockchain for cultural heritage , and Semantic mapping of Italian National Core to EU INSPIRE , among others spanning 2001–2025. Teaching: Belussi teaches courses like Advanced Database Systems, Databases, and Data Management and Machine Intelligence across multiple academic years, including 2025/2026.

• Temporal Data Mining
• Biomedical Decision Support Systems
• Temporal Logics
• +۵ مورد دیگر

Pietro Sala is an Associate Professor at the University of Verona , Department of Computer Science. His research intersects Temporal Data Mining , Biomedical Decision Support Systems , and Formal Verification of temporal logic specifications. Key Research Areas: Interval Temporal Logic and Model Checking Temporal BPMN for healthcare processes Data fusion in clinical environments Algorithm design for repetitive task automation Notable Projects: Dioxin impact analysis on cardiovascular development Open-source clinical data warehousing (DW-SAN) Real-time system verification frameworks Teaching: Lecturer for Biomedical Decision Support Systems (Master's) Instructor for Data Mining and Software Engineering courses The articles highlight his work in temporal logic verification (2025), clinical process modeling (2024-2025), and data integration for NLP pipelines (2023). His publications span theoretical computer science conferences (LICS, ICALP) and healthcare informatics journals (ICHI, CBM).

Tahir Hameedمشاهده پروفایل

استادیار

• Information Technology Standardization
• Healthcare Analytics
• Consumer Health Informatics
• +۳ مورد دیگر

Tahir Hameed is an Assistant Professor of Management at the Girard School of Business, Merrimack College. His research focuses on Information Technology Standardization, Healthcare Analytics, and Technology Innovation Management, with particular emphasis on socio-technical systems and their impact on healthcare and technology commercialization. He holds a Ph.D. in Information Technology Management from KAIST (Korea Advanced Institute of Science and Technology), an M.S. in Computer Science from Lahore University of Management Sciences, and a B.E. in Industrial Electronics Engineering from NED University of Engineering and Technology. Key research interests include AI-driven healthcare solutions, trustworthy biomedical content systems, and innovation policies in technology-intensive sectors. His work often explores the interplay between technical systems and human behavior in knowledge-intensive environments. Recent publications highlight contributions to AI audit frameworks for health information, decentralized biomedical content systems, and predictive models for hospital readmissions. His scholarship bridges healthcare informatics, technology management, and socio-cognitive innovation theories. Dr. Hameed's research has addressed challenges in South Korea's technology commercialization processes, fog computing for healthcare IoT, and semantic interoperability in biomedical data. He has contributed to both technical and policy-oriented solutions in eHealth standardization, information overload in health searches, and the social impacts of digital technologies.

Omar El-Gayarمشاهده پروفایل

استاد

• Analytics
• Business Intelligence
• Decision Support Systems
• +۷ مورد دیگر

Omar El-Gayar is a Professor of Information Systems at Dakota State University's College of Business and Information Systems. He previously served as Dean of the College of Information Technology at the United Arab Emirates University and as Founding Dean of Graduate Studies and Research at Dakota State University. He holds a Ph.D. from the University of Hawaii, an M.A. from the University of Hawaii, and M.S. and B.S. degrees from Alexandria University. Education: Ph.D. (University of Hawaii), M.A. (University of Hawaii), M.S. (Alexandria University), B.S. (Alexandria University) His research focuses on analytics, business intelligence, and decision support systems with applications in healthcare, environmental management, and security planning. He has published extensively in IT-related domains and is a member of AIS, ACM, INFORMS, and DSI. His work includes developing frameworks for healthcare IT systems, cybersecurity decision support, and environmental management information systems. Notable projects include the DSS-CMM maturity model and the ADDSS aquaculture management system. Key Contributions: Clinical decision support systems, electronic health records evaluation, and socio-technical system requirements analysis He has advised numerous interdisciplinary projects and contributed to advancing the adoption of technology in healthcare and sustainability sectors.

Mohammad Adibuzzamanمشاهده پروفایل

استادیار

• Causal Inference
• Artificial Intelligence
• Computational Systems
• +۳ مورد دیگر

Mohammad Adibuzzaman is an Assistant Professor in the Department of Medical Informatics and Clinical Epidemiology at Oregon Health and Science University (OHSU), and Co-Director of the Informatics Program at the Oregon Clinical and Translational Research Institute (OCTRI). He previously held roles at Purdue University's Regenstrief Center for Healthcare Engineering (RCHE) and the US FDA as an ORISE Fellow. His expertise lies in applying computational methods to healthcare data, with a focus on causal inference, AI-driven systems, and FAIR/CARE principles in informatics. Education includes a Ph.D. in Computational Sciences (Marquette University, 2015), MSc (Marquette, 2012), and B.Sc. in Computer Science (BUET, 2008). Research interests span causal modeling, healthcare analytics, and infrastructure development for large clinical datasets. Notable honors include the ORISE Fellowship (FDA, 2013-14) and Above and Beyond Award (Purdue, 2018). Publications focus on causal AI, clinical data standardization, sepsis outcomes, and ICU therapy analysis. Grants and projects emphasize translational research through OCTRI and RCHE collaborations. Labs/teams: OCTRI Informatics Program, RCHE Data and Computing initiatives, and FDA computational projects.

• Bioinformatics
• Biomarker Discovery
• Toxicology
• +۵ مورد دیگر

Dr. Marc E. Gillespie is a Professor in the Department of Pharmaceutical Sciences at St. John’s University College of Pharmacy and Health Sciences. His research bridges bioinformatics, biomarker discovery, and immunology, with a focus on chronic toxicant exposure and SNARE protein mechanisms in mast cells. PhD in Oncological Sciences from the University of Utah (1998) BA in Zoology from the University of Vermont Research areas include affordable proteomics , SNARE-mediated exocytosis , and bioinformatics pathway modeling . His lab develops low-cost proteomic tools for biomarker identification in lead and manganese toxicity, while actively contributing to the Reactome project’s curation of human molecular pathways. Recent publications highlight his leadership in computational frameworks for COVID-19 mechanism analysis , viral life cycle curation , and student-faculty research partnerships . His work addresses global health challenges through systematic data integration and educational innovation. Chair, College Assessment Committee Chair, Institutional Biosafety Committee Dr. Gillespie’s lab engages students in crowdsourced discovery and innovative science education , emphasizing accessible research tools and collaborative learning.

Eswaran Subrahmanianمشاهده پروفایل

استاد پژوهشی

• Socio-technical systems design
• Decision support systems
• Engineering informatics
• +۵ مورد دیگر

Eswaran Subrahmanian is a Research Professor at Carnegie Mellon University (CMU), affiliated with the Engineering Research Accelerator and the Department of Engineering and Public Policy within the College of Engineering. He concurrently serves as a Visiting Honorary Professor at the International Institute of Information Technology, Bangalore and an Adjunct Faculty member at Ahmadabad University. His roles include part-year work at the National Institute of Standards and Technology (NIST), USA, focusing on smart networks and societies. Education: Ph.D. in Public Policy & Information Systems, Carnegie Mellon University (1987) M.S. in Computer Science, University of South Carolina (1979) B.E. (Hons) in Chemical Engineering, Birla Institute of Technology & Science (1976) Research Focus: Subrahmanian's work centers on socio-technical systems design, decision support systems, and design theory. He explores intersections of technology, public policy, and societal impact through projects with industry leaders like Boeing, Bosch, and the World Bank. His theoretical contributions include the PSI framework and categorical models for complex systems analysis. Publications & Awards: With over 90 peer-reviewed articles and co-edited books, he co-authored We Are Not Users: Dialogues, Diversity, and Design (MIT Press, 2020). Honors include the Steven Fenves Award (2006), AAAS Fellowship (2008), and ACM Distinguished Scientist (2013). Advising & Innovation: Co-founder of Fields of View , a nonprofit designing games/simulations for policy challenges, and involved in initiatives like the National Health Information Systems Project. His work emphasizes inclusive design methodologies and interdisciplinary collaboration. Labs & Teams: Active in the Engineering Research Accelerator and collaborates across disciplines to address urban systems, energy policy, and ICT for sustainable development.

Adam Przepiórkowskiمشاهده پروفایل

استاد مهمان

• Syntax
• Semantics
• Computational Linguistics
• +۵ مورد دیگر

Adam Przepiórkowski is a Visiting Professor at MIT's Department of Linguistics and Philosophy, affiliated with the Institute of Computer Science, Polish Academy of Sciences (IPI PAN). His primary research focuses on syntax, semantics, and formal grammar, with a strong emphasis on coordination structures, dependency parsing, and computational linguistics. He co-leads projects like the National Corpus of Polish (NKJP) and contributes to linguistic resource development, including valence dictionaries and treebanks. His work bridges theoretical linguistics and computational applications, addressing issues like case assignment, argument-adjunct distinctions, and crosslinguistic coordination patterns. He has collaborated on tools such as Poliqarp (corpus search engine) and contributed to frameworks like LFG and HPSG. Key contributions include studies on Polish syntax, dependency length minimization, and the design of linguistic corpora. Przepiórkowski’s research also involves coordination analysis, valence acquisition, and the development of interoperable linguistic resources. He has received recognition for his work, including the Best Position Paper at COLING 2018.

• Mathematics Education
• Semantic Web Technologies
• E-Learning Content Reuse
• +۳ مورد دیگر

Paul Libbrecht is a researcher at the German Research Center for Artificial Intelligence (DFKI), focusing on semantic web technologies for mathematics education since 2000. His work integrates cultural adaptation, interoperability, and reuse of learning content with a background in topology and combinatorial group theory from universities in Lausanne and Montreal. Key projects include Intergeo, Math-Bridge, and the ActiveMath platform. Research Themes: Mathematics semantics, cultural adaptation in education, e-learning content interoperability Notable Projects: ActiveMath (semantic learning platform), Intergeo (cross-curriculum search), Math-Bridge (adaptive math education) Contributions: Editor of MathML 3.0, developer of OQMath notation system Publications span artificial intelligence, mathematics education, and knowledge management, emphasizing cultural diversity in digital learning resources. His work addresses challenges such as notation interoperability and collaborative content development across educational contexts. Collaborations include international initiatives like the Intergeo project and contributions to standards like OpenMath and MathML. His research bridges theoretical foundations (e.g., combinatorial group theory) with applied innovations in adaptive learning systems.