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

• Ophthalmology
• Retinal Surgery
• Medical Imaging Analysis
• +۳ مورد دیگر

Renaud Duval is a Clinical Associate Professor in the Department of Ophthalmology at the University of Montreal's Faculty of Medicine. He directs the Ophthalmology Fellowship Program and leads retinal services at the Centre universitaire d’ophtalmologie (Hôpital Maisonneuve-Rosemont). His clinical practice integrates surgical innovation, medical education, and research supervision for medical students, residents, and fellows. Education: MD CM, McGill University (2006) Residency in Ophthalmology, Université de Montréal (2011) Fellowship in Vitreoretinal Surgery, Rush University/Illinois Retina Associates (2013) His research bridges clinical ophthalmology and technology development. Primary interests include: retinal pathophysiology (age-related macular degeneration, diabetic retinopathy), surgical innovation (new instrument design, vitrectomy techniques), AI integration for automated analysis of OCT/fundus images, and tele-ophthalmology frameworks for remote diagnostics. He co-authored Canadian tele-retina screening guidelines and develops deep learning models for lesion segmentation in retinal imaging. Publications emphasize translational applications: 65% focus on surgical outcomes (vitrectomy mechanics, intraocular pressure dynamics), 25% on AI/imaging diagnostics, and 10% on infectious/inflammatory retinopathies. Recent work demonstrates strong convergence of biomechanical modeling (ocular rigidity) and AI-driven image analysis. Awards & Honors: 6× Rhett Buckler Awards (ASRS Film Festival, 2012-2019) for innovative surgical videos ASRS Junior Achievement Award (2015) Dean’s Honour List (McGill 2006, UdeM 2011) Robert Forsyth/Francis Williams Prizes (McGill, 2006) He leads or co-investigates clinical trials (6+ as PI/co-I) and secured CIHR funding for a 5-year project (2022-2026) developing an OCT-controlled subretinal drug injection system for preclinical research. As director of fellowships, he oversees advanced ophthalmology training programs. Affiliations include the Vision Health Research Network (RRSV), emphasizing collaborative retinal research.

Ali Cengiz Beğenمشاهده پروفایل

استاد

• IP Video Systems
• Network Support for Real-Time Media
• Video Transport
• +۳ مورد دیگر

Ali Cengiz Beğen is a Professor in the Computer Science Department at Ozyegin University in Istanbul. He is also the founder of Networked Media , a technology consulting firm specializing in IP video systems. His career includes technical leadership roles at Comcast and Cisco , where he developed advanced video delivery solutions. Education: PhD in Electrical and Computer Engineering (Georgia Tech, 2006), BSc in Electrical Engineering (Bilkent University, 2001) Research Interests focus on network support for real-time media , including optimized content encoding, low-latency live streaming, and protocol innovation for IP video. His work bridges academic research with industry standards like ISO/IEC JTC1/SC29 (MPEG/JPEG), where he serves as Head of the Turkish National Body . Current projects explore Media-over-QUIC transport , multi-CDN streaming , and reinforcement learning for adaptive streaming. His scientific contributions include 40+ US patents and publications in IEEE Transactions on Multimedia , IETF RFCs, and ACM SIGMM. Awards highlight his impact: Emmy® Award for Technology and Engineering (2020) ACM SIGMM Test of Time Award (2021) SVTA Industry Fellow (2021) ACM Distinguished Member (2020) IEEE Senior Member (2019) Microsoft Bandwidth Estimation Grand Challenge Runner-up (2021) Professional Service includes IEEE Communications Society Distinguished Lecturer (2016-2020) and keynotes at conferences like IEEE ICME and SVTA Webinars . He actively consults for media-tech companies and law firms on video transport standards.

• Telehealth
• Cardiovascular Disease Management
• Chronic Disease Management
• +۵ مورد دیگر

Dr. Emma Thomas is a Senior Research Fellow and Heart Foundation Postdoctoral Fellow at the Centre for Health Services Research, University of Queensland. She specializes in telehealth applications for cardiovascular disease and chronic condition management, with a focus on implementation science and health equity. Her research interests span telehealth implementation, cardiac rehabilitation, health service delivery optimization, and reducing barriers to healthcare access. Dr. Thomas employs mixed-methods approaches to evaluate telehealth effectiveness across diverse populations, with particular attention to culturally and linguistically diverse communities and rural populations. Her work emphasizes scaling effective interventions while monitoring quality and ensuring equitable provision. Dr. Thomas's publication portfolio demonstrates significant contributions to understanding telehealth preferences, digital inclusion strategies, and cardiac rehabilitation effectiveness. Her research reveals important trends in telehealth adoption patterns, with growing emphasis on equity considerations and tailored implementation strategies for specific patient populations. Heart Foundation Postdoctoral Fellow NHMRC Postgraduate Scholar As an active researcher, Dr. Thomas collaborates with multiple institutions and health services to evaluate telehealth implementation. Her current projects focus on sustaining telehealth services beyond the pandemic, improving access for underserved populations, and enhancing cardiac rehabilitation delivery through digital solutions. She serves on the Editorial Board for Implementation Science Communications and contributes to the Australian Cardiovascular Alliance and Australian Cardiovascular Health and Rehabilitation Association. Dr. Thomas leads and contributes to numerous telehealth evaluation projects across palliative care, cancer services, cardiac rehabilitation, and chronic disease management, with a consistent focus on equitable access and service quality.

• Computer Networking
• Quality of Experience (QoE)
• Video Streaming
• +۳ مورد دیگر

Bjørn Jonny Villa serves as Associate Professor at the Norwegian University of Science and Technology (NTNU), specializing in computer networking with emphasis on adaptive video streaming and Quality of Experience (QoE) optimization. His research addresses critical challenges in home networks, public WiFi security, and bandwidth management, as evidenced by publications spanning 2010-2014 in top venues including IEEE, Springer, and international journals. Villa earned his PhD from NTNU in 2014 with the dissertation "Enhancing Quality Aspects of Adaptive Video Streaming in Home Networks," establishing foundational work for his subsequent research. His academic journey reflects deep specialization in network performance optimization for multimedia delivery systems. Core research interests include adaptive HTTP video streaming, QoE measurement and optimization, network security vulnerabilities (particularly in public WiFi), and active probing techniques for bandwidth estimation. Villa employs experimental user studies and traffic analysis to develop practical solutions for improving streaming fairness and network resource allocation, with significant contributions to understanding how burst durations and traffic shaping impact user-perceived quality. Analysis of Villa's publication timeline reveals consistent focus on video streaming challenges: early work (2010-2011) established monitoring frameworks and home gateway optimization, mid-period research (2012-2013) advanced fairness algorithms and traffic shaping, while his 2014 output expanded into security implications of public networks. His collaborative approach is evident through recurring partnerships with Poul Einar Heegaard and Anders Instefjord across multiple publications. No scientific awards are documented in the available records. Similarly, no information regarding research grants or student supervision appears in the provided materials. Villa actively engages with the research community through conference presentations including Forskningsdagene (2013) and NIK conferences, and contributes to public discourse through media appearances in Aftenposten and Inside Telecom. His work operates within NTNU's telecommunications research ecosystem, focusing on practical implementations of network optimization techniques for real-world video delivery systems.

Amy Csizmar Dalalمشاهده پروفایل

استاد

• Computer Networks
• Human-Computer Interaction
• Usable and User-Friendly Systems
• +۵ مورد دیگر

Amy Csizmar Dalal is a Professor of Computer Science at Carleton College, where she has been a faculty member since 2003. She previously served as Chair of the Computer Science Department (2013-2016) and as Director of the STEM Board (2019-2022) and Summer Science Fellows Program (2017-2023). Her research focuses on improving the usability and user-friendliness of computer networks through human-computer interaction (HCI) and quality of experience (QoE) analysis. Education: PhD and MS in Electrical Engineering from Northwestern University, BS in Electrical Engineering from the University of Notre Dame. Her work explores technical support relationships , self-healing home networks , and ethical academic civic engagement in software engineering education. Key projects include analyzing home network troubleshooting terminology, designing community-partnered capstone projects, and developing systems for real-time video QoE assessment. She emphasizes user-centered network design and equitable technology education , contributing to pedagogical frameworks like the NCWIT Member Activity and Change Tracker . Recent publications highlight community-engaged learning in computer science (2022), strategies for ethical software engineering education (2025), and foundational work on streaming media quality metrics (2003-2011). She holds patents for Streaming Media Quality Assessment Systems and Secure Content Download Methods .

• Economics
• Political Economy
• Cannabis Legalization
• +۱۳ مورد دیگر

Marco Rossi is a Researcher at the Department of Social and Economic Sciences , Università degli Studi di Roma "La Sapienza." His academic focus includes Economics, Political Economy, and Public Policy , with a specialization in cannabis legalization, sports betting, aging populations, and welfare economics. His research bridges economic theory with interdisciplinary applications, as evidenced by publications on topics ranging from sustainable materials to archaeological conservation . Key areas include economic policy, resource allocation, and social market dynamics. Scientific awards include the 2023 Best Video at the International Symposium for Testing and Failure Analysis and 3rd place in the False Color Image Category at the same symposium. His work also emphasizes non-invasive analytical techniques, such as Tip-Enhanced Raman Spectroscopy and X-ray Microscopy , for studying both modern and historical materials.

• Eye Tracking Technology
• TV Customer Experience
• Process Mining
• +۵ مورد دیگر

Michael Milliken serves as a Researcher at Ulster University's School of Computing, Belfast campus (Room BB-02-010, 2-24 York Street). His primary affiliation is with the Faculty of Computing, Engineering and the Built Environment. His research spans eye tracking technology, TV customer experience optimization, and intrusion detection systems. Key methodologies include discrete-time Markov chains for modeling user behavior, process mining for IPTV analytics, and ensemble learning for cybersecurity. His work intersects computer science, human-computer interaction, and multimedia systems with practical applications in personalized television interfaces and network security. His publication trends reveal consistent focus on user experience analytics (2018-2023), with recent expansion into DDoS intrusion detection (2023). The research demonstrates progression from foundational eye-tracking studies toward AI-driven content personalization and cybersecurity applications. Milliken holds a PhD awarded in July 2023 and a Bachelor's degree from July 2013. His h-index is 7 with 2 citations according to Pure/Scopus metrics. Current research activity shows sustained output with publications in 2018, 2022, and 2023.

• Cardiothoracic Surgery
• Thoracic Surgery
• Pleural Infections
• +۳ مورد دیگر

Merete Christensen serves as a Clinical Associate Professor in the Department of Clinical Medicine at the University of Copenhagen, specializing in Cardiothoracic Surgery with institutional ties to the Capital Region of Denmark (Region Hovedstaden) as evidenced by her professional email domain. Her research concentrates on advanced pleural infection management, specifically evaluating comparative outcomes between minimally invasive video-assisted thoracoscopic surgery (VATS) and conventional thoracotomy procedures for stage II-III infections. This work bridges clinical practice and evidence-based surgical methodology within thoracic disease treatment. Current scholarly activity demonstrates a focus on systematic literature reviews to establish optimal surgical protocols for complex pleural conditions, emphasizing patient-centered outcomes through rigorous analysis of existing clinical data. No scientific awards were documented in the provided materials. Details regarding academic advising responsibilities, graduate student mentorship, or externally funded research grants remain unspecified in the available information. Dr. Christensen operates within the Cardiothoracic Surgery division of the Department of Clinical Medicine, contributing to both clinical service delivery and academic research initiatives in surgical medicine.

• Network Architectures
• Network Protocols
• Information Security and Assurance
• +۴ مورد دیگر

Sonia Fahmy is a Professor and Associate Department Head in the Department of Computer Science at Purdue University. She joined Purdue in 1999 and was recently elevated to IEEE Fellow status. Fahmy is a member of CERIAS (Center for Education and Research in Information Assurance and Security) and has made significant contributions to network architectures and protocols research. Research Interests: Design and evaluation of network architectures and protocols Network support for virtual reality applications Network measurement and management Cellular networks optimization and security Network experimentation methodologies Professor Fahmy's research has evolved to address emerging challenges in networking, with recent work focusing on virtual reality networking, 5G security, and quality-of-experience optimization. Her publications reveal a consistent trajectory from fundamental network protocol design toward addressing the specific requirements of modern applications like VR and volumetric video streaming. Scientific Awards: IEEE Fellow National Science Foundation CAREER Award (2003) Professor Fahmy has successfully mentored numerous PhD students who have gone on to careers at leading technology companies and academic institutions. Her research has been supported by substantial funding from the National Science Foundation, Department of Homeland Security, and industry partners including Cisco, Meta, Juniper Networks, and AT&T. She leads several active research projects including network support for virtual reality applications (NSF and Meta projects), network measurement and management (Juniper Networks and GENI Project), cellular networks security (NSF projects), and network experimentation (DHS and NSF projects).

Umakishore Ramachandranمشاهده پروفایل

استاد

• Distributed Systems
• Edge Computing
• Sensor Networks
• +۵ مورد دیگر

Umakishore Ramachandran is a Professor in the School of Computer Science at Georgia Institute of Technology's College of Computing, where he directs the Embedded Pervasive Lab. He received his Ph.D. from the University of Wisconsin-Madison in 1986 and has led transformative initiatives including the Online MS in Computer Science (OMSCS) program. His research spans distributed systems, edge computing, and real-time sensor networks, with applications in smart surveillance and connected vehicles. His research interests include architectural design of parallel/distributed systems, large-scale situation awareness using camera networks, cloud-edge continuum optimization, and latency-sensitive applications for geo-distributed infrastructures. Recent work focuses on elevating edge computing to parity with cloud resources. His publications show strong emphasis on edge computing innovations (MicroEdge, FogStore), real-time video analytics (EVA, ClairvoyantEdge), and adaptive mobile systems (Foresight). Trends include multi-tier architectures, quality-of-experience optimization, and scalable processing for IoT workloads. Major Awards: IEEE Fellow (2014) NSF Presidential Young Investigator (1990) ACM/IFIP Middleware Best Paper (2022) 3x College of Computing Dean's Awards He has advised 40+ PhD students, with recent graduates at Google, Microsoft, and academia. Current NSF/CPS grants support his work on geo-distributed latency-sensitive applications. He co-leads the STAR Center and Samsung-funded embedded software programs. His Embedded Pervasive Lab develops systems like Stampede (stream processing) and DFuse (sensor fusion), with testbeds in the Aware Home and transportation networks. Teams collaborate with Intel, Microsoft, and Bosch on edge-AI deployments.

• Palliative Care
• Advance Care Planning
• Serious Illness Conversations
• +۷ مورد دیگر

Joshua Lakin, MD, serves as Associate Professor at Harvard Medical School and Senior Physician in Adult Palliative Care at the Dana-Farber Cancer Center, with institutional affiliations spanning Dana-Farber Cancer Institute, Brigham and Women’s Hospital, and Ariadne Labs. His clinical and academic work focuses on integrating palliative care principles across oncology, nephrology, and cardiology settings to enhance communication and decision-making for seriously ill patients. Dr. Lakin's research centers on advance care planning, serious illness conversations, and goal-concordant care, with particular emphasis on vulnerable populations including adolescents/young adults with cancer, patients with advanced heart failure, and those with end-stage kidney disease. His methodological approach combines qualitative analysis, mixed methods, randomized controlled trials, and implementation science to develop evidence-based interventions that improve documentation, reduce disparities, and optimize care delivery through electronic health record systems and digital tools. Analysis of his 2023-2025 publications reveals three dominant trends: (1) Leveraging EHR infrastructure for serious illness conversation documentation and dashboard implementation, (2) Developing patient-centered digital interventions like advance care planning websites for heart failure populations, and (3) Addressing systemic barriers to palliative care access across specialties including oncology, nephrology, and transplantation. His work consistently bridges clinical practice with health systems innovation through Ariadne Labs. Scientific Awards: No awards were mentioned in the provided text. Regarding advising and grants, the text indicates active research leadership through multicenter trials and implementation projects but lacks specific details about student mentorship or funded grants. His collaborative work with interdisciplinary teams across hospitals suggests significant grant involvement and trainee supervision in palliative care research. Dr. Lakin is embedded within Ariadne Labs, Harvard's joint health systems innovation center, where he collaborates with interprofessional teams including oncologists, nephrologists, cardiologists, and primary care physicians. His work with the VIDEO-PCE and VIDEO-KD trials demonstrates integration of palliative care specialists into specialty-aligned services for cancer and kidney disease patients, emphasizing team-based approaches to serious illness communication.

• Information Communication Systems
• Multimedia Information Processing
• Content Distribution Systems
• +۴ مورد دیگر

Wataru Kameyama is a Professor in the Department of Communications and Computer Engineering at Waseda University’s School of Fundamental Science and Engineering. Since 2014 he has held a full-time faculty position at Waseda; he previously served as Professor at GITS (2002–2014) and Associate Professor at GITI (1999–2002), both within Waseda University. He received his M.E. and Ph.D. in Electronics Engineering from Waseda University in 1987 and 1990 respectively. Education: Ph.D. in Engineering, Waseda University, 1990 M.E. in Electronics Engineering, Waseda University, 1987 B.E. in Electronics Communication Engineering, Waseda University, 1985 Research Interests: Prof. Kameyama’s research spans information communication systems, multimedia information processing, content distribution architectures, Named Data Networking, digital rights management, and high-dimensional data mining. His recent work emphasizes proactive content-caching for mobile video, producer mobility in NDN, and outlier-detection algorithms for large-scale datasets. Publications Trend: Across 85 peer-reviewed papers (h-index 9) his recent articles focus on next-generation networking (NDN, ICN), mobile multimedia delivery using transportation infrastructure, and data-mining techniques for high-dimensional outliers, often validated through large-scale field experiments. Awards & Honors: International Cooperation Award, ITU Association of Japan (2012) IEEE/IEICE Distinguished & Outstanding Contribution Awards (2009, 2007) Best Author/Best Paper Awards, Institute of Image Information and Television Engineers (2009, 2006) Professional Memberships: ACM, IEEE, Institute of Image Electronics Engineers of Japan, Information Processing Society of Japan, Institute of Electronics, Information and Communication Engineers, Institute of Image Information and Television Engineers.

Gregory L. Wilesمشاهده پروفایل

دانشیار

• Industrial Engineering
• Logistics and Supply Chain Management
• Engineering Education
• +۴ مورد دیگر

Dr. Gregory L. Wiles serves as Associate Professor of Industrial and Systems Engineering in Kennesaw State University's Southern Polytechnic College of Engineering and Engineering Technology. A former Department Chair with over 40 years of combined industry and academic experience, he bridges theoretical engineering concepts with practical applications from his tenure at Lockheed-Martin, Oracle, and TSI Logistics. His teaching philosophy emphasizes hands-on industrial engineering problem-solving across logistics, supply chain, and systems optimization. Dr. Wiles' educational foundation includes: PhD in Information Systems Management, Walden University (2014) MS in Industrial & Systems Engineering (Manufacturing Systems), Georgia Tech (1992) BS in Industrial Engineering, University of Tennessee (1981) His research program focuses on transformative engineering education methodologies, particularly the 'converged classroom' model blending physical and virtual instruction environments. Complementing this educational innovation, he investigates logistics systems optimization, sustainability engineering, and supply chain risk management. This dual focus reflects his industry background where he developed manufacturing tracking systems for the C130 Hercules aircraft and contributed to F-22 Raptor design with security clearance. Analysis of his 2011-2017 publications reveals consistent emphasis on educational technology adoption in engineering programs, with 70% of works addressing classroom innovation and student engagement. His logistics research constitutes 30% of output, featuring optimization techniques applied to fiber optics and supply chain systems. This interdisciplinary approach connects pedagogical advancements with industrial problem-solving frameworks. Major recognition includes: 2024 Engineer of the Year in Education, Georgia Society of Professional Engineers Dr. Wiles actively mentors students through the IET 4475 Senior Project course, guiding teams in comprehensive feasibility studies for fictional manufacturing enterprises. While specific grant funding isn't detailed in available materials, his research has been presented at eight consecutive ASEE Annual Conferences (2011-2018), indicating sustained scholarly activity. He integrates industry partnerships into curriculum development, particularly in logistics and warehousing systems where his TSI Logistics experience provides authentic case studies. Though no dedicated research laboratory is documented, Dr. Wiles collaborates with students on classroom-based research projects examining educational technology effectiveness. His industry connections facilitate real-world data access for logistics optimization studies, and his leadership in converged classroom implementation has influenced department-wide instructional strategies across the College of Engineering.

• Digital Economy
• Digital Transformation
• Big Data and Business Innovation
• +۳ مورد دیگر

CHEN Yubo serves as Coca-Cola Chair Professor and Director of the Center for Internet Development and Governance at Tsinghua University's School of Economics and Management. A recipient of the National Science Fund for Distinguished Young Scholars, he ranks among Stanford/Elsevier's World Top 2% Scientists (2022) with extensive publications across premier marketing and business journals. His educational background includes: Ph.D. in Marketing, University of Florida M.Eng. in Systems Engineering, Southeast University B.Eng. in Industrial Management Engineering, Southeast University Prof. Chen's research pioneers digital economy transformation, focusing on big data innovation in networked environments and climate sustainability strategies. His work bridges theoretical marketing frameworks with China's digital evolution, examining platform economies, consumer behavior in social media ecosystems, and sustainable business models. Recent studies analyze mobile commerce dynamics, advertising spillovers in short-video platforms, and offline-online retail integration through advanced spatial analytics. His publication portfolio demonstrates consistent leadership in digital marketing research, with 15+ top-tier journal articles since 2010 spanning Journal of Marketing, Marketing Science, and Information Systems Research. Key thematic clusters include digital platform economics (35%), social media analytics (25%), sustainability marketing (20%), and retail transformation (20%), characterized by rigorous field experiments and large-scale behavioral data analysis. Major scientific recognitions include: National Science Fund for Distinguished Young Scholars Stanford/Elsevier World Top 2% Scientists (2022) INFORMS Frank M. Bass Best Paper Finalist Journal of Marketing MSI/Paul H. Root Award Finalist Journal of Interactive Marketing Best Paper Award Prof. Chen maintains active industry partnerships with Alibaba, JD.com, Baidu, and CITIC Bank through joint research initiatives, while serving on China's National Teaching Advisory Committee for Business Administration and as Editor-in-Chief of Journal of Marketing Science. His Center for Internet Development and Governance operates as a strategic hub for digital economy policy research, leveraging academic-industry collaboration to address China's technological transformation challenges.

Antonio Filieriمشاهده پروفایل

دانشیار مهمان

• Static analysis
• Privacy
• Automated test generation
• +۵ مورد دیگر

Antonio Filieri is a Senior Applied Scientist at Amazon Web Services (AWS) and holds a Visiting Associate Professor position at the Department of Computing, Imperial College London. Previously, he was a tenured Associate Professor at Imperial College London (2022-2024) and Assistant Professor (2016-2022), and served as Assistant Professor at the University of Stuttgart between 2013 and 2015. His academic career spans over a decade with significant contributions to software engineering research. Dr. Filieri's research focuses on formal mathematical methods for software design, verification, self-adaptation, and security. His primary research areas include static analysis, privacy, and automated test generation for security; exact and approximate methods for probabilistic program analysis; control theory for adaptive software; quantitative verification and model checking; and runtime-efficient and incremental verification. His work bridges theoretical foundations with practical applications in industry settings, particularly in cloud computing and security domains. His recent publications demonstrate a strong focus on probabilistic methods for software analysis, security testing, and performance modeling. The research trends show increasing integration of formal methods with machine learning techniques, particularly in test oracle generation and neural network analysis. There's also a clear emphasis on scalability and practical applicability of verification techniques to real-world systems like serverless computing and microservices architectures. Dr. Filieri has received numerous prestigious awards for his contributions: Best Student Paper Award (2025) for 'Robust Probabilistic Model Checking with Continuous Reward Domains' ACM Distinguished Paper Award (2023) for 'Sibyl: Improving Software Engineering Tools with SMT Selection' Best Paper Award (2022) for 'Enhancing Performance Modeling of Serverless Functions via Static Analysis' Best Artifact Award (2017) for 'Self-adaptive video encoder: comparison of multiple adaptation strategies made simple' Most Influential Paper Award (awarded at SEAMS 2025) for 'Software Engineering Meets Control Theory' ACM SigSoft Distinguished Paper Award (2011) for 'Run-time Efficient Probabilistic Model Checking' Dr. Filieri has advised several PhD students including Donato Clun (2024), Runan Wang (2024), and Xiaotong Ji (expected 2025). His advising focuses on probabilistic program analysis, automated testing, and security verification. His research has been supported by significant grants from both academic and industry sources, enabling collaborations across multiple institutions and contributing to advancements in software engineering practices. While specific lab information isn't prominently featured in the provided materials, Dr. Filieri's work suggests strong connections with research groups focused on formal methods, software verification, and adaptive systems at both Imperial College London and AWS. His research often involves interdisciplinary collaboration between theoretical computer science and practical software engineering challenges.