جستجوی استاد راهنمای دانشگاهی

• Cybersecurity
• Cloud Computing
• Formal Methods
• +۳ مورد دیگر

Laurent BOBELIN serves as a Contractual Lecturer-Researcher at INSA Centre Val de Loire, holding dual roles as SDS Board Member and Team Leader. His research is institutionally anchored at LIFO (Laboratoire d'Informatique Fondamentale d'Orléans), a joint research unit between INSA Centre Val de Loire and the University of Orléans, focusing on fundamental computer science. His research portfolio demonstrates deep expertise in Cybersecurity and Cloud Computing , with significant extensions into Formal Methods for complex system architectures. He has pioneered applications in Health Informatics , developing the E-HandicapScale diagnostic platform for disabled patients, and recently expanded into Agricultural Technology with federated learning-based intrusion detection systems. His methodological approach consistently integrates formal verification with practical security enforcement across domains. Analysis of his publication trajectory reveals a strategic evolution from foundational cloud security architectures (2014-2016) toward interdisciplinary applications. His work increasingly bridges cybersecurity with domain-specific challenges—notably in healthcare diagnostics and agricultural IoT—while maintaining rigorous formal methods as the unifying thread. The 2023 agricultural security paper exemplifies his current focus on securing emerging technology ecosystems through distributed learning paradigms. Scientific Awards: No awards were documented in the source materials. Advising and Grants: The provided information contains no details regarding graduate students, research grants, or funded projects. Labs and Teams: As Team Leader and SDS Board Member at INSA Centre Val de Loire, BOBELIN directs research activities within his team while contributing to strategic governance. His primary research affiliation with LIFO connects him to a major French computer science laboratory specializing in algorithms, formal methods, and security, located at the University of Orléans campus (Building IIIA).

Domenico Bianculliمشاهده پروفایل

دانشیار

• software engineering
• trace checking and run-time verification
• temporal specification languages
• +۱۰ مورد دیگر

Domenico Bianculli is an Associate Professor and Chief Scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He leads the Software Verification and Validation (SVV) research group and is affiliated with the Department of Computer Science in the Faculty of Science, Technology and Medicine (FSTM). Additionally, he serves as the deputy study program director for the Master in Space Technologies and Business. Dr. Bianculli earned his PhD from the University of Lugano (Switzerland) under Carlo Ghezzi, with a dissertation titled "Open-world software: Specification, Verification, and Beyond." He also holds a MSc in Computing Systems Engineering and a BSc in Computer Engineering from Politecnico di Milano (Italy). His research focuses on the specification, verification and validation of software systems, particularly evolvable software systems. His work spans trace checking and run-time verification of temporal properties, modeling access control policies, program analysis for security, incremental verification techniques, and verification of service-oriented systems. Dr. Bianculli bridges theoretical foundations with practical applications in cyber-physical systems, financial technology, and regulatory compliance. His recent publications reveal a strong trend toward applying machine learning to software engineering challenges, particularly in log analysis, anomaly detection, and automated compliance checking. He has made significant contributions to verifying cyber-physical systems through techniques for stress testing control loops and trace diagnostics for signal-based temporal properties. His work increasingly addresses financial technology challenges, with papers focusing on automated regulatory compliance related to GDPR and financial regulations. ACM SIGSOFT Distinguished Paper Award for "Efficient large-scale trace checking using MapReduce" (ICSE 2016) Nomination for the best paper award for "SMT-based checking of SOLOIST over sparse traces" (FASE 2014) Dr. Bianculli leads multiple significant research projects including KITS24/19067232 "SnT-R2S" funded by FNR Luxembourg, LOGODOR "Automated Log Smell Detection and Removal" funded by FNR's CORE scheme, and several financial regulation projects including AFRICA, ICCOFIDO, and RUMOFA. His research has been supported by national funding agencies and industry partnerships with CSSF Luxembourg, HITEC Luxembourg, BGL BNP Paribas, and LuxSpace. As head of the SVV research group at SnT, Dr. Bianculli oversees a team developing advanced techniques for software specification, verification, and validation. His group works on theoretical foundations and practical applications, with current projects addressing challenges in cyber-physical systems, financial technology, and regulatory compliance. The group maintains strong collaborations with industry partners in the financial sector and space technology domains.

• Game Design
• Database Systems
• Data Stream Processing
• +۳ مورد دیگر

Walker M. White serves as Stephen H. Weiss Provost's Teaching Fellow and Director of the Game Design Initiative at Cornell (GDIAC) within Cornell University's Department of Computer Science. He teaches core game design courses (CS/INFO 3152 and CS/INFO 4152), CS 1110 (Introduction to Computing in Python), and mentors independent study projects through CS/INFO 4999. His academic leadership spans curriculum development, career advising for game design students, and cross-departmental coordination for Cornell's game design minor. White's research centers on two interconnected domains: data-driven game development and data stream processing. In data-driven games, he pioneers declarative specification methods for non-player character behavior, addressing performance bottlenecks in massively multiplayer environments through innovations like the SGL language. His concurrent Cayuga project develops scalable data stream processing systems that balance expressive query capabilities with publish/subscribe system efficiency, yielding theoretical advances in temporal query semantics and practical implementations for event monitoring. His educational scholarship focuses on inquiry-based learning techniques adapted from mathematical logic to computer science pedagogy. White's publication record from 2006-2011 reveals a cohesive trajectory where database theory informs gaming innovation. Early work established foundational challenges in virtual world scalability, evolving into specialized techniques for checkpoint recovery, MapReduce-based behavioral simulation, and declarative game languages. Simultaneously, his Cayuga research advanced publish/subscribe systems through multi-query optimization and formal stream semantics, demonstrating consistent methodological rigor across both domains. Stephen H. Weiss Provost's Teaching Fellow As GDIAC Director, White advises undergraduate game design students through competitive independent study projects, with select student games featured at independent game festivals. He facilitates industry recruitment by major studios including Electronic Arts, Valve, and Bungie, while supporting student startups in the mobile gaming space. His career advising leverages strong industry connections cultivated through Cornell's game design program. White leads the Game Design Initiative at Cornell (GDIAC), coordinating game design education across multiple academic departments. He collaborates extensively with Cornell's database research group, particularly with Johannes Gehrke and Alan Demers on data stream processing and gaming projects. His educational initiatives include developing inquiry-based learning materials for computer science and mathematics bridge courses.

Shiqiang Taoمشاهده پروفایل

دانشیار

• Neuro-informatics
• Clinical Data Management
• Deep Learning
• +۱ مورد دیگر

Dr. Shiqiang Tao is an Associate Professor at McGovern Medical School, The University of Texas Health Science Center at Houston. His academic journey includes prior roles as an Assistant Professor at the University of Kentucky's Department of Internal Medicine, Lead Developer at Kentucky's Institute of Biomedical Informatics, and Research Associate at Case Western Reserve University's Center for Clinical Investigation. His research centers on neuro-informatics with two primary thrusts: Ontology-driven Clinical Data Management : Involving data integration, cross-cohort querying, visualization, and temporal analysis for healthcare datasets. Deep Learning in Healthcare : Applied to substance use disorder prediction, sleep spindle detection/sub-typing, and postictal generalized EEG suppression (PGES) identification. Dr. Tao's publications (2014–2018) demonstrate consistent focus on medical informatics innovations, including sleep data repositories, clinical trial automation, SNOMED CT mining, and neurotechnology interfaces. His work emphasizes scalable data solutions and ontology-based frameworks.