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

Benjamin Lucien Kaminskiمشاهده پروفایل

استاد

• formal verification
• semantics
• probabilistic programs
• +۱۰ مورد دیگر

Benjamin Lucien Kaminski is a Professor at Saarland University and a Lecturer at University College London . He specializes in quantitative aspects of formal program verification , with a focus on probabilistic and quantum programs , incorrectness logic , and non-classical computation models . His research includes semantics , probabilistic program verification , expected runtimes , and explainable verification . He leads the Examination Board for B.Sc. Computer Science (English) and actively mentors PhD, Master’s, and Bachelor’s students in logic and verification. 2025 : A Taxonomy of Hoare-Like Logics (POPL), Partial Incorrectness Logic (TPSA) 2024 : Quantitative Weakest Hyper Pre (OOPSLA), Caesar: A Verifier for Probabilistic Programs (Dafny), Hoare-Like Triples (Incorrectness-track) 2023 : A Deductive Verification Infrastructure (OOPSLA), Lower Bounds (OOPSLA), A Calculus for Amortized Expected Runtimes (POPL) He has received notable awards including the Ackermann Award (2020), Best Paper at LOPSTR 2020 , and EATCS Best Paper Award at ETAPS 2016 . He has also served on program committees for leading conferences like CAV , POPL , and LICS , and reviewed for prestigious journals such as Journal of the ACM and TOCL .

• Artificial Intelligence (AI)
• Machine Learning Algorithms
• AI Ethics
• +۴ مورد دیگر

Daswin De Silva is a Full Professor of AI and Analytics at La Trobe University, Australia, and Deputy Director of the Centre for Data Analytics and Cognition (CDAC). He also holds an Adjunct Professor position at Lulea University of Technology, Sweden. His expertise spans AI ethics, algorithm development, and applications in healthcare, energy, and education. He leads major initiatives like the La Trobe Energy AI Platform for net-zero emissions and the OptusU AI Micro-credentials program. Education: PhD in AI (Monash University, 2011). Awards include the Australian Awards for University Teaching (2021), Vice-Chancellor’s Teaching Award (2019), and Mid-Career Research Excellence Award (2018). Editor of five journals including IEEE Transactions on Industrial Informatics and Springer Discover AI. Research focuses on generative AI, ethical AI systems, and vector symbolic architectures. Recent work includes AI applications in healthcare diagnostics, energy efficiency, and smart cities. He has secured AU$14M in research funding and supervised 15 PhD completions with 10 current students. Leadership roles include Deputy Chair of La Trobe’s Research & Graduate Studies Committee and chairmanship of IEEE committees on Responsible AI and Web/Information Systems. Keynote speaker at global conferences like IEEE HSI, INDIN, and ETFA. Media engagements include ABC News, Forbes, and The Conversation.

• Plant Phenotyping
• Precision Agriculture
• Machine Vision
• +۶ مورد دیگر

Dr. Huajian Liu is a Grant-Funded Researcher (B) at the University of Adelaide's School of Agriculture, Food and Wine, within the Faculty of Sciences, Engineering and Technology. He is affiliated with The Plant Accelerator, the Adelaide node of the Australian Plant Phenomics Facility. His research focuses on machine vision and machine learning for plant phenotyping and precision agriculture, particularly using hyperspectral imaging for plant nutrient estimation, disease detection, stress tolerance analysis, and pest monitoring. Dr. Liu holds a PhD in machine vision for invertebrate detection from the University of South Australia (2018) and has been a post-doctoral researcher at The Plant Accelerator since then. His expertise spans hyperspectral imaging, bio-inspired machine vision systems, 3D model reconstruction, and optical sensing system design. He is eligible to supervise Masters and PhD students in plant phenotyping and precision agriculture. Key research areas include crop stress detection (drought, salt, nutrient deficiencies), invertebrate pest identification, and automation in agricultural monitoring. Affiliations: The Plant Accelerator, School of Agriculture, Food and Wine Research Themes: Plant phenotyping, precision agriculture, machine learning applications Grants: Ongoing grant-funded research in plant phenomics and hyperspectral technologies Publications highlight innovations in hyperspectral imaging for crop yield prediction, disease diagnostics, and nitrogen content analysis. His work bridges computational methods with agricultural challenges, emphasizing sustainable farming solutions.

Muhammad Usmanمشاهده پروفایل

مدرس ارشد

• Cloud Computing
• Edge Computing
• Distributed Systems
• +۷ مورد دیگر

Dr. Muhammad Usman is a Senior Lecturer at the Department of Mathematics and Computer Science, Karlstad University, Sweden. His research focuses on cloud and edge computing, distributed systems, performance observability, DevOps automation, and networked systems. He holds a B.S. from NUST (Pakistan), and integrated M.S./Ph.D. from GIST (South Korea). He teaches master's-level courses in Distributed Systems and Cloud Computing. His research interests include optimizing container orchestration for edge-IoT workloads, developing AI-driven frameworks for industrial IoT (e.g., AIDA), and enhancing observability of distributed systems through frameworks like DESK and SmartX. His work often addresses challenges in resource efficiency, scalability, and fault detection in edge and cloud environments. Notable contributions include benchmarking lightweight container orchestration platforms, designing cost-effective testbeds for DevSecOps, and creating visualization frameworks for SDN-enabled clouds. His publications span topics from IIoT lifecycle management to intent-based network control. Usman actively collaborates internationally, with projects involving institutions like GIST, Aalto University, and the IEEE community. His work bridges theoretical research and practical applications in edge computing and cloud-native systems.

• Computer Vision
• Machine Learning
• General AI
• +۶ مورد دیگر

Dr. Maya Aghaei is a Lecturer and Researcher in Computer Vision & Data Science at NHL Stenden University of Applied Sciences, part of the Academy Technology & Innovation. She holds a M.Sc. in Artificial Intelligence and a Ph.D. in Computer Vision from the University of Barcelona. Her academic role includes supervising Minor and Master students while focusing on applying cutting-edge AI techniques to real-world challenges. Prior to her current position, she served as a Postdoctoral Researcher at the Italian Institute of Technology, developing AI solutions for industrial applications. Her research spans Computer Vision, Machine Learning, and General AI with a focus on surveillance systems, autonomous drones, hyper-spectral imaging for environmental analysis, and social signal processing through egocentric data. Notable projects include crime scene classification via trajectory analysis, obstacle detection for BVLOS drones, and psychological trait prediction based on clothing analysis. Dr. Aghaei's work emphasizes real-world applicability, bridging theoretical advancements with practical implementations in industries like agriculture, waste management, and public safety. Her interdisciplinary approach combines technical innovation with societal relevance, addressing challenges from plastic recycling to social distancing compliance through computer vision systems.

Daniel Tauritzمشاهده پروفایل

استاد

• Artificial Intelligence for National Security
• Cyber Security
• Critical Infrastructure Protection
• +۵ مورد دیگر

Daniel Tauritz is a Professor in the Department of Computer Science and Software Engineering at Auburn University and serves as Director for National Laboratory Relationships. He holds a Ph.D. and M.S. in Computer Science from Leiden University, along with propaedeutic studies in Computer Science and Mathematics. His research focuses on AI-driven cybersecurity, automated algorithm design using hyper-heuristics, computational game theory, and evolutionary computation. Tauritz leads initiatives such as the Auburn Cyber Research Center and collaborates with institutions like Los Alamos National Laboratory on critical infrastructure protection and satellite network security. His work bridges academia and national security through projects like the Cyber Fire Puzzles competition and the Satellite Tycoon economic simulation game. His educational background includes advanced studies at Leiden University, with a strong foundation in computer science and mathematics. Research contributions span evolutionary algorithms for molecular evolution, coevolutionary defense strategies, and generative hyper-heuristics. Tauritz has secured grants including an NSF award for AI-cybersecurity education and contributed to Auburn’s partnerships with national laboratories. He is actively involved in fostering student engagement through ethical hacking clubs and experiential learning programs. Notable achievements include moderating panels on AI in cybersecurity and AI workforce development, as well as developing frameworks like Galaxy for network emulation and DCAFE for automated cyber experiments. His publications emphasize applying evolutionary computation to real-world challenges, including satellite constellation economics and adversarial network defense strategies.

Florin Rusuمشاهده پروفایل

استاد

• Database systems
• Large-scale data management
• Query processing and optimization
• +۴ مورد دیگر

Florin Rusu is a Professor and Chair of the Department of Computer Science and Engineering at the University of California Merced, School of Engineering. He joined UC Merced in 2010 and has served in multiple administrative positions including as chair of the School of Engineering's Executive Committee and currently as chair of the Department of Computer Science and Engineering. His educational background includes a B.Eng. degree from the Technical University of Cluj-Napoca, Faculty of Automation and Computer Science (2004), and M.Sc. and Ph.D. degrees from the University of Florida in Computer Science (2008 and 2009). Rusu's research focuses on database systems and large-scale data management, with particular emphasis on designing infrastructure for Big Data analytics. His specific research areas include query processing and optimization, approximate and randomized algorithms, scalable machine learning, multi-dimensional array data management, and in-situ data processing. His work bridges theoretical aspects with practical system design issues. His research has been funded by multiple prestigious organizations including the US Department of Energy (DOE), National Science Foundation (NSF), California Department of Education, Hellman Foundation, LogicBlox, and TigerGraph. His recent publications show a continued focus on database query optimization, particularly around cardinality estimation, sketch-based methods, and innovative approaches to query plan generation. His work spans both theoretical contributions and practical implementations, with several projects transitioning into real-world database systems. Scientific Awards: DOE Early Career Award (2014) Hellman Faculty Fellowship (2013) Rusu has advised numerous graduate students through their Ph.D. and Master's programs, with many going on to successful careers at major tech companies (Google, Meta, TigerGraph) and academic positions. His research group has secured substantial funding from NSF (COMPASS project 2020-2025), DOE Early Career Award (2014-2021), TigerGraph, California Department of Education, and Hellman Foundation. His research group maintains active projects in Database Query Optimization, Scalable Gradient Descent Optimization, Array Databases, In-Situ Data Processing, GLADE, Online Aggregation, and Sketches, demonstrating a comprehensive research program spanning multiple aspects of database systems and large-scale data management.

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

استاد آموزشی

• Arts-Based Research
• Digital Literacies
• Digital Research Methods
• +۵ مورد دیگر

Kedrick James is a Teaching Professor in the Department of Language and Literacy Education at the Faculty of Education, University of British Columbia Okanagan . As of July 2, 2024, he serves as the Interim Director of the Okanagan School of Education, a role reflecting his leadership and advisory contributions to academic excellence and mentorship. Research Focus: Intersections of language, ecology, and technology; decolonizing education; digital arts-based methods; automation of literacy; socio-cultural impacts of digital media. Projects: Founder of PhoneMe (place-based poetry app) and Singling (text sonification software for accessibility). Leads the Digital Literacy Centre and The Patch (digital arts-based research). Research Trends: His recent publications emphasize digital literacies , transmediation , and collaborative methodologies in education. Works like Text Sonification and PhoneMe Poetry highlight innovative approaches to accessibility and community engagement. Awards: Murray Elliott Service Award for Outstanding Contributions to Teacher Education (2018) Advisory Roles: Active in curriculum development, teacher education, and advancing social justice and ecological preservation in Boundary Country. Grants include unspecified funding for projects like PhoneMe and Singling.

• Computer Science
• Network Engineering
• Software Development
• +۳ مورد دیگر

Thorsten Jarz-Sand is a Professor at the Pädagogische Hochschule Steiermark (Styrian College of Teacher Education), specializing in Secondary Vocational Teacher Education. His work focuses on integrating advanced IT systems into educational environments, emphasizing practical technical guidance for schools and organizations. He holds a Magister degree and teaches courses on network infrastructure, system administration, and programming. His research interests include Windows operating systems, server management, and educational technology applications. Key areas of expertise include Active Directory, Hyper-V virtualization, network security, and programming languages like C# and VB.NET. Dr. Jarz-Sand has authored over a dozen technical manuals, including guides for Windows Server 2022, Windows 11, and foundational network technologies. His books emphasize hands-on learning through exercises and real-world case studies, making complex IT concepts accessible for educators and IT professionals. He maintains an active presence in academic and professional circles through his publications and contributions to didactic IT education. Contact him via email or visit his website for resources.

Tza-Huei Wangمشاهده پروفایل

استاد

• BioMEMS
• Microfluidics
• Single Molecule Detection
• +۷ مورد دیگر

Tza-Huei (Jeff) Wang is a Professor in the Department of Mechanical Engineering and holds a secondary appointment in Biomedical Engineering at Johns Hopkins University . He is also affiliated with the Sidney Kimmel Comprehensive Cancer Center and the Institute for NanoBioTechnology , driving translational research in molecular diagnostics. Doctorate in Mechanical Engineering, UCLA (2002) Wang's research focuses on micro- and nano-biotechnologies for molecular analysis and biomedical applications. His work encompasses quantum dot-FRET nanosensors for cancer biomarkers, droplet magnetofluidics for infectious disease diagnostics, and single-molecule spectroscopy platforms like CICS. These technologies address critical needs in early cancer detection , antimicrobial resistance testing , and HIV viral load self-testing . Recent publications highlight advancements in digital PCR , CRISPR-assisted diagnostics , and high-throughput antimicrobial combination screening (e.g., RoboDrop platform). His team's work on HYPER-Melt enables ultrasensitive DNA methylation analysis at 0.00005% detection thresholds. Scientific Recognition NSF CAREER Award CRS Jorge Heller Award JALA Ten Award Cohen Translational Engineering Award Fellow, AIMBE, ASME, IEEE, and RSC Wang's laboratory trains future leaders in engineering and biomedical sciences, with alumni securing faculty positions at institutions like UCSD, Penn State, and Aarhus University. His innovations have resulted in 36 patents , including 14 U.S. patents, and secured $1.5M+ IMAT R33 and $2.2M NCI R01 grants for cancer screening technologies.

• Business Process Management
• Business Intelligence
• Digital Transformation
• +۶ مورد دیگر

Lucija Ivančić is a Teaching and Research Assistant at the Department of Informatics, Faculty of Economics & Business, University of Zagreb. She is currently a PhD candidate with a focus on digital transformation, business process management, and emerging technologies like robotic process automation (RPA) and process mining. Role: Teaching and Research Assistant Department: Informatics University: University of Zagreb Research Interests: Her work bridges business process management and digital transformation, with specific expertise in RPA, process mining, and AI applications in sectors like healthcare, education, and food wholesale. She explores how digital technologies enhance organizational efficiency, customer care, and elderly independence. Publication Trends: Recent articles focus on RPA's integration challenges, process mining in healthcare, and AI-driven customer analytics. Her research often employs case studies, systematic reviews, and data-driven methodologies like K-means clustering. Scientific Awards: Deans' award for BPMN simulation modeling Deans' award for IS auditing research Additional Contributions: She investigates digital inclusion of seniors, e-learning platform implementation during the pandemic, and business-IT alignment education frameworks. Her work emphasizes practical guidelines for enterprises and policymakers.

Hendrik Reefkeمشاهده پروفایل

مدرس ارشد

• Sustainable Supply Chain Management
• Service Supply Chains
• Performance Measurement and Reporting
• +۴ مورد دیگر

Dr Hendrik Reefke is a Senior Lecturer and Course Director at the Cranfield School of Management , specializing in Logistics and Supply Chain Management . With academic experience across the UK, Germany, and New Zealand, Reefke's expertise spans Warehousing , Sustainable Supply Chain Management , and Service Supply Chains . He earned an award-winning PhD from the University of Auckland, along with MCom and BCom (Honours) degrees in operations and supply chain management. Academic Appointments: Senior Lecturer (Cranfield School of Management) Course Leadership: Director of Logistics, Procurement and Supply Chain Management MSc and Procurement and Supply Chain Management MSc Reefke's research focuses on Sustainable Supply Chains , with strong emphasis on decision models , maturity frameworks , and performance measurement . His work addresses contemporary challenges like geopolitical disruptions (e.g., Brexit impacts) and technological innovations in warehousing (e.g., mobile robots, micro-fulfillment centers). Key publication scientific_awards include: Award-winning PhD thesis on sustainable supply chain management Co-authorship in International Journal of Operations & Production Management (2023, 2020) Contributions to Springer and Routledge publications (2021–2019) His academic contributions also include consulting projects on Sustainable Transport in the UK, Health Supply Chain transformations in developing countries, and Supply Chain Trends analysis. Reefke actively welcomes empirical research students in sustainability-focused supply chains.

Ahmed Ehab Abdelsalamمشاهده پروفایل

پژوهشگر

• Virtual Reality Applications in Architecture and Urban Design
• Digital Creativity
• Qualitative Research in User Experience
• +۳ مورد دیگر

Dr. Ahmed Ehab Abdelsalam is a Postdoctoral Research Associate in Digital Creativity at Loughborough University, specializing in Virtual Reality (VR) applications for architecture and urban design. He holds a PhD in Architecture Design-Social Science from the University of Nottingham, where his research focused on resilient design for London’s elevated social spaces using interactive VR co-design methods. His academic journey includes roles such as Hourly Paid Lecturer at Nottingham Trent University, Studio Tutor at the University of Nottingham, and Assistant Lecturer at The British University in Egypt, emphasizing design communication and urban planning education. His research interests span Virtual Reality applications in architecture, sustainable vertical urbanism, and community participation in design. Key areas include immersive co-design for public engagement, AI-integrated VR systems, and qualitative user experience studies. He advocates for sustainable design approaches in hyper-density cities and has explored post-pandemic urban green spaces and cognitive experiences in elevated public spaces. Dr. Ehab’s work integrates advanced VR workflows with generative AI and gamification techniques, aiming to enhance public participation in architectural design. He is affiliated with the Design for Future Living research group and actively contributes to the development of digital twins and empathic modeling tools. His teaching experience includes mentoring postgraduate urban design students and delivering undergraduate architecture courses. While no formal awards are listed, his contributions to immersive technology and sustainable urban development reflect a commitment to innovative, community-centric design solutions.

Jeffrey Girardمشاهده پروفایل

استادیار

• Affective Communication
• Affective Computing
• Clinical Assessment
• +۴ مورد دیگر

Dr. Jeffrey Girard serves as Assistant Professor and M. Erik Wright Scholar in the Psychology Department at the University of Kansas, directing the Brain, Behavior & Quantitative Science Program and co-leading the Kansas Data Science Consortium. His interdisciplinary research bridges psychology, computer science, and statistics to investigate emotional expression through verbal and nonverbal behavior, with emphasis on individual differences and social contexts. Dr. Girard's educational background includes: Ph.D. in Psychology (Clinical) from the University of Pittsburgh M.S. in Psychology (Clinical) from the University of Pittsburgh B.A. in Psychology & Philosophy from the University of Washington His research centers on affective communication and affective computing , examining how emotions manifest in interpersonal interactions across clinical and non-clinical populations. Key focus areas include transdiagnostic psychiatry, multimodal behavior analysis, and the development of computational tools for clinical assessment. This work integrates statistical modeling with machine learning to address questions in interpersonal functioning and mental health diagnostics. Analysis of Dr. Girard's recent publications (2023-2025) reveals strong trends in computational psychiatry, with emphasis on multimodal datasets for emotion recognition, AI-driven clinical assessment tools, and transdiagnostic approaches to psychopathology. His work consistently bridges technical innovation in affective computing with real-world clinical applications, particularly in depression assessment and psychosis research. Scientific recognition includes: M. Erik Wright Scholar Dr. Girard actively contributes to academic service through editorial roles at IEEE Transactions on Affective Computing, Clinical Psychological Science, and other leading journals. He serves on executive boards for the Society for Interpersonal Theory and Research, Society for Affective Science, and Hierarchical Taxonomy of Psychopathology society, demonstrating leadership in advancing interdisciplinary research methodologies. He directs the Affective Communication and Computing Lab, which develops computational frameworks for analyzing emotional expression in clinical contexts, and co-leads the Kansas Data Science Consortium to foster cross-departmental data science initiatives.

Nanda Surendraمشاهده پروفایل

دانشیار

• Agile Development Methodologies
• Information Systems Design
• Qualitative Research
• +۵ مورد دیگر

Nanda Surendra is an Associate Professor in the Department of Management Information Systems and Supply Chain at West Virginia University. He specializes in agile systems development, information systems design, and qualitative research methodologies. Ph.D., University of Cincinnati (1998) MBA, Madras University (1989) BEngg, Annamalai University (1987) His research explores the intersection of agile methodologies, privacy frameworks, and ethnographic approaches to systems development. He has pioneered techniques for integrating reflective practice into information systems and applying sports analytics concepts to educational reform. The 15 most recent publications span agile development in hyper-agile environments, privacy paradigms in IT, ethnographic requirements analysis, and curriculum design innovations. Key trends include crisis adaptation, collaborative software development, and ethical considerations in disaster recovery planning. Dr. Surendra's work bridges theoretical rigor with practical implementation, focusing on systems that balance automation with human intuition while maintaining technical relevance through case study validation.