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

• Building Energy Efficiency
• Indoor Air Quality
• HVAC Systems
• +۴ مورد دیگر

Dr. Spencer Maxwell Dutton is a researcher at the Lawrence Berkeley National Laboratory (University of California, Berkeley), focusing on building energy efficiency, indoor air quality (IAQ), and advanced ventilation systems. His work bridges computational modeling with real-world applications to improve energy savings, occupant health outcomes, and HVAC system performance. Dr. Dutton’s research includes: Modeling energy savings from low-energy cooling and natural ventilation Assessing health impacts of ventilation strategies Developing smart control algorithms for residential and commercial HVAC systems Integrating thermal energy storage and daylighting technologies His recent articles (2016–2022) explore smart ventilation control, air leakage mitigation, daylighting systems, and techno-economic frameworks for hybrid HVAC. Collaborators include experts in building science, energy systems, and environmental health. Dr. Dutton holds a PhD from the University of Nottingham, UK, with prior experience as a building energy consultant in London.

Perry Lundمشاهده پروفایل

استادیار

• Computer Science
• Programming Languages
• Data Structures
• +۷ مورد دیگر

Perry Lund is an Assistant Professor in the Computer Science Department and serves as an Adjunct Faculty member in the Physics Department at an institution where he contributes significantly to undergraduate education in computing and interdisciplinary science. His research and teaching interests span a broad range of computer science disciplines, including programming, software development, data modeling, and systems-level computing. His involvement in teaching History and Philosophy of Science suggests an interdisciplinary engagement with the conceptual foundations of scientific and computational thought. The trend in his taught courses indicates expertise in both theoretical and applied aspects of computer science, particularly in core curriculum development and technical skill building for students. This reflects a strong commitment to comprehensive CS education. Perry Lund has no listed scientific awards in the available information. He advises students through internship programs and has contributed to curriculum delivery across foundational and advanced computing topics. His dual appointment in Physics highlights a collaborative, cross-disciplinary academic role. No specific research labs or teams are mentioned in the provided text.

• Software Engineering
• Object-Oriented Programming
• Software Architecture
• +۴ مورد دیگر

Murat K. Gungor is an Associate Professor at Champlain College in the Department of Information Technology and Sciences. He has been serving as a Leahy Center Faculty since fall 2021, leading software projects to automate data extraction from IoT devices. His teaching philosophy emphasizes student care, active engagement, and iterative improvement. His research focuses on pedagogical innovation in software engineering education, particularly peer learning techniques, curriculum design, and the transformative role of grading policies in fostering student motivation. He has published works on how real-time feedback during grading improves teaching effectiveness and student outcomes. Recent publications include a 2023 analysis of grading policies to encourage learning through hope and a 2022 case study on peer learning in computer science. Earlier work (2021) explores how grading itself can enhance teaching practice by identifying knowledge gaps. His industry experience spans software architecture, project management, and quality improvement, which he integrates into professional development initiatives at Champlain College. He emphasizes the social and technical modeling of software teams, advocating for collaborative environments that mirror real-world practices.

Fabrizio Montesiمشاهده پروفایل

استاد

• Programming Languages
• Distributed Systems
• Microservices
• +۷ مورد دیگر

Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark, Department of Mathematics and Computer Science. He leads the Section of Artificial Intelligence, Cybersecurity, and Programming Languages and holds leadership roles in the Microservices Community, SDU Digital Democracy Centre, and SDU eScience Center. His work focuses on programming languages and systems, cloud/edge computing, microservices, choreographic programming, and cybersecurity.

• Artificial Intelligence
• Machine Learning
• Data Science
• +۱۰ مورد دیگر

Luís Miguel Martins Nunes is an Associate Professor at the Department of Information Science and Technology (ISTA), Iscte – Instituto Universitário de Lisboa, where he has been a faculty member since 1997. He is also an Integrated Researcher at ISTAR-Iscte, a research center dedicated to Information Sciences, Technologies, and Architecture. His academic journey includes a PhD in Computer Engineering from the Faculty of Engineering of the University of Porto (2006), a Master’s in Electrical and Computer Engineering from Instituto Superior Técnico (1997), and a Bachelor’s in Computer Science from the Faculty of Sciences of the University of Lisbon (1993). PhD in Computer Engineering, Faculty of Engineering - University of Porto, 2006 Master’s in Electrical and Computer Engineering, Instituto Superior Técnico - University of Lisbon, 1997 Bachelor’s in Computing, Faculty of Sciences - University of Lisbon, 1993 His research spans Artificial Intelligence , Machine Learning , Data Science , and their real-world applications in public administration , healthcare , and smart commercial environments . He is particularly focused on computational modeling of systems, applying AI to improve public policy planning, fraud detection, and digital governance. His recent research projects reflect a strong trend in applying AI and data science to solve societal challenges. These include AI4PA (Artificial Intelligence for Public Administration), ISDAPPP (data analysis for public policy), AIH (secure AI in healthcare), and ECI 4.0 (intelligent retail spaces). These efforts demonstrate a consistent focus on ethical, secure, and impactful AI deployment in public and private sectors. He has been actively involved in research projects funded by national and institutional sources, including: ISDAPPP – Information Systems and Data Analysis for Public Policy Planning (2025–2026) AIH – A Secure Standard for Healthcare Data Storage and AI Applications (2025–2026) AI4PA – Artificial Intelligence and Data Science for Public Administration (2023–2025) Estudo para o conhecimento da fraude nos fundos estruturais em Portugal (2022–2023) MAIPro – Monitorização e Alerta de Incumprimento em Projetos (2022–2023) ECI 4.0 – Espaços Comerciais Inteligentes (2021–2023) IA-INCENTIVOS – Inteligência Artificial na Gestão de Incentivos (2020–2021) AppSentinel – Cloud-based Anti-Malware for Android (2018–2020) Multipass – IT Decision Support System (2013–2014) Luís Nunes leads the AI>AP Competence Center at Iscte, which serves as a bridge between academia and public administration, promoting innovation through real-world case studies, student projects, and responsible AI development. He mentors students through master’s theses and applied projects in AI and data science. He teaches courses such as Introduction to Machine Learning , Autonomous Agents , Big Data and AI in Public Policies , and Object-Oriented Programming , contributing to the training of future data scientists and AI specialists. His work is conducted primarily within the ISTAR-Iscte research center, where he leads or contributes to interdisciplinary teams focused on AI, data analytics, and digital innovation. His role emphasizes collaboration with public institutions (e.g., AMA, IAPMEI, AICEP), industry partners (e.g., SONAE, Axians), and other academic centers (e.g., NOVA IMS, INESC-ID), fostering a living laboratory model for public sector digital transformation.

Jane Kellyمشاهده پروفایل

پژوهشگر

• Livestock Management
• Biosecurity
• Invasive Species Management
• +۱۲ مورد دیگر

Jane Kelly is a Researcher at Charles Sturt University, affiliated with the Faculty of Agricultural, Environmental and Veterinary Sciences and the Gulbali Research Institute. Her work focuses on livestock management, biosecurity, and the application of remote sensing and artificial intelligence in agricultural and environmental systems. Education: PhD in Agriculture, Charles Sturt University (Awarded: 23 Dec 2020) Graduate Diploma in Education, University of Western Sydney (Awarded: 03 Apr 2002) Bachelor of Science in Agriculture (Honours), University of Sydney (Awarded: 23 May 2001) Her research interests include weed-livestock interactions, zoochory, feral livestock management, remote detection of weeds using drones and AI, and sustainable agricultural practices. She actively contributes to the integration of digital technologies in weed and biosecurity management. Recent publications highlight a strong trend in using UAV-based multispectral and hyperspectral imaging combined with artificial intelligence for detecting invasive species such as African Lovegrass, Bitou bush, and mouse-ear hawkweed. Her work bridges ecological research with practical agricultural applications, emphasizing real-time monitoring and precision management. Scientific Awards and Grants: CAWS Travel Award (2022) – Successful A No-Antibiotic Low Emission verification and traceability pathway for lamb production (2024) – Grant Development of drone technology for Tropical Soda Apple control (2022) – Successful Grant A Smart Weed Seed Management Tool (2020) – Unsuccessful Grant Development of digital feed efficiency measurement in sheep (2021) – Unsuccessful Grant Jane Kelly is actively involved in advising and collaborative research, particularly in grant-funded projects focusing on sustainable livestock systems. She co-founded the Weed Remote Sensing Community of Practice, fostering knowledge exchange. She participates in public engagement through field days, media contributions, and academic conferences, enhancing the impact of her research. She is a key member of interdisciplinary research teams utilizing drone technology and AI for environmental monitoring. Her lab collaborations involve experts in remote sensing, machine learning, and agricultural engineering, working toward scalable solutions for invasive species management.

• Parallel Computing
• High-Performance Computing (HPC)
• Programming Models
• +۶ مورد دیگر

Maria Luisa Gil Gómez is a researcher at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture and the Barcelona Higher Technical School of Telecommunications Engineering. She holds a PhD in Computer Science and leads research in parallel computing, high-performance computing (HPC), and programming models. Her work focuses on optimizing computational workflows, fault tolerance in distributed systems, and leveraging multi-GPU architectures for scientific simulations. She has contributed to projects like the Programming Models group (PM) at UPC and collaborates with the Barcelona Supercomputing Center (BSC-CNS). Affiliations: UPC Department of Computer Architecture, BSC-CNS, PM Research Group Research Interests: Parallel Programming Models, HPC, GPU Computing, Cellular Automata, Education Technology Her research spans over 147 documented activities, including journal articles, conference presentations, and funded projects. Notable contributions include studies on BCI in music education, distributed algorithms for ARM-based clusters, and the OpenCAL++ framework for parallel cellular automata simulations. She has also explored educational methods integrating creativity and game-based learning in engineering.

• Logic
• Philosophical Logic
• Formal Epistemology
• +۵ مورد دیگر

Francesco Berto is Professor of Philosophy at both the University of St Andrews (Department of Philosophy) and the University of Amsterdam (Institute for Logic, Language and Computation - ILLC). At the ILLC, he holds primary affiliation with the Formal Semantics & Philosophical Logic research group and secondary affiliation with Epistemology & Philosophy of Science. His work bridges formal logic, ontology, and epistemology with significant contributions to contemporary philosophical debates. Berto specializes in logic, ontology, and formal epistemology with particular focus on hyperintensionality, topic-sensitive semantics, belief revision, counterfactual reasoning, and the logic of imagination. His research develops what he terms 'thick content' theories where propositions have both truth-conditional and topical components. This approach addresses limitations in traditional possible worlds semantics by incorporating subject matter as a fundamental aspect of meaning and knowledge representation. His recent publications (2019-2025) reveal a coherent research trajectory examining how topicality affects logical reasoning across multiple domains. Berto's work demonstrates increasing integration of formal logic with cognitive science, particularly in modeling realistic human reasoning rather than idealized logical competence. Key contributions include formal models of framing effects, the logic of imagination as reality-oriented mental simulation, and solutions to the problem of logical omniscience through topic-sensitive approaches. Berto's scholarly influence extends through his extensive publication record in top philosophy and logic journals including Mind, Journal of Philosophical Logic, Synthese, and Noûs. His work has been cited over 2,400 times according to academic metrics, indicating substantial impact on contemporary philosophical logic and formal epistemology. As an active researcher, Berto supervises PhD candidates and participates in collaborative projects at the intersection of logic, language, and computation. His current work continues to develop formal frameworks that better capture the nuances of human cognition while maintaining rigorous logical standards. His research program represents a significant contribution to bridging the gap between idealized logical systems and the messy reality of human thought processes.

Marius Hadryمشاهده پروفایل

پژوهشگر

• Self-aware Computing Systems
• Self-adaptive Systems
• Internet of Things (IoT)
• +۶ مورد دیگر

Marius Hadry is a doctoral researcher at the Chair of Software Engineering (Computer Science II) at the University of Würzburg, under the supervision of Prof. Samuel Kounev. He is affiliated with the Department of Computer Science within the Faculty of Mathematics and Computer Science. His research focuses on Self-aware Computing Systems , Sel-adaptive Systems , IoT and Cyber-physical Systems , Industry 4.0 , Platooning , and Intelligent Transportation Systems . Marius holds a Master's (2021) and Bachelor's (2019) in Computer Science from the University of Würzburg. Education: Master of Computer Science (2019-2021), Bachelor of Computer Science (2016-2019), both at the University of Würzburg. His work emphasizes practical applications of adaptive systems in transportation and logistics. Recent research explores traffic forecasting models, failure prediction in HDDs, and performance analysis of microservices. Marius actively contributes to international conferences like MASCOTS, SEAMS, UCC, and ICPE. Teaching activities include supervising Bachelor/Master theses, coordinating software architecture lectures, and organizing seminars on software engineering. He has also taught operating systems and contributes to academic initiatives like the Secure Software Systems Group.

Jan Erik Moströmمشاهده پروفایل

مدرس

• Computer Science Education
• Programming Didactics
• Software Engineering Education
• +۳ مورد دیگر

Jan Erik Moström is a Lecturer and Director of Studies at the Department of Computing Science, Umeå University. His work focuses on Computer Science Education , particularly in programming pedagogy, software design education, and student learning strategies. Contact: jan.erik.mostrom@umu.se . Research Interests include software engineering education , concurrency education , object-oriented programming pedagogy , and transformative learning experiences . His publications explore student challenges in programming, conceptual understanding, and educational frameworks. Recent trends in his work emphasize informal learning , imitation as a pedagogical tool , and threshold concepts in computing. He has contributed to conferences like ICER, ITiCSE, and SIGCSE, focusing on practical teaching methods and student skill development. Teaching involves programming courses and curriculum oversight as Director of Studies. No scientific awards or lab affiliations are explicitly mentioned in available data.

Michael Rybaمشاهده پروفایل

استاد

• Business Informatics
• Software Engineering
• Internet Technologies
• +۳ مورد دیگر

Prof. Dr. habil. Michael Ryba is a Professor at Osnabrück University of Applied Sciences, Campus Lingen, within the Faculty of Management, Culture and Technology. He serves as Dean of Studies and Head of the Institute of Management and Technology, focusing on business informatics, software engineering, and internet technologies. Specializes in collaborative systems for SME networks Expertise in CAE software development Extensive publication record in distributed systems and design methodologies His research emphasizes cross-domain integration , dynamic networked environments , and object-oriented engineering frameworks . Recent works explore semantic-based brokering, self-consulting IT systems, and competitive production networks. He has contributed to Eiffel programming language applications and EDIF standards. As an educator, he teaches mathematics for business informatics, software engineering, and distributed systems. His career spans roles at universities in Kaiserslautern and Stuttgart, with habilitation in computer science (2002) and promotion (1995).

Uwe Lämmelمشاهده پروفایل

استاد

• Artificial Intelligence
• Computer Science
• Data Mining
• +۳ مورد دیگر

Uwe Lämmel is a Professor at Wismar University of Applied Sciences since 1996, with a focus on Artificial Intelligence and Computer Science . He holds a diploma in mathematics from the University of Rostock (1981) and a Dr.-Ing. from Rostock (1985). His work bridges theoretical foundations with practical applications in fields like knowledge management, education, and business informatics. Education : Mathematics (Diploma) at University of Rostock (1976–1981); Promotion to Dr. Ing. in 1985 Lämmel's research spans Artificial Intelligence , Data Mining , and Knowledge Management , with a particular emphasis on educational frameworks like 'Object First' programming instruction and semantic wiki systems. He has co-authored multiple editions of foundational texts in AI and Data Mining. His recent work (2025) explores the enduring relevance of Gottlob Frege's logic in modern computing. Publications highlight AI deployment in healthcare insurance workflows, semantic web technologies, and pedagogical innovations in programming education.

Jinting Bianمشاهده پروفایل

پژوهشگر

• Formal Verification
• Software Verification
• Object-Oriented Programming
• +۹ مورد دیگر

Jinting Bian is a Researcher at the Computer Security department of Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands . Their work focuses on formal verification , object-oriented programming , and software correctness . Research Interests include: Formal verification of object-oriented systems History-based reasoning for behavioral subtyping Dynamic frames and footprint logic Java Collection Framework specification Integration of Isabelle/HOL with KeY Interactive deductive proving Publications between 2020-2025 demonstrate expertise in Hoare logic , behavioral subtyping , and Java standard library verification . Key collaborations include Frank de Boer , Hans-Dieter Hiep , and Stijn de Gouw .

Mart Lubbersمشاهده پروفایل

استادیار

• Task-Oriented Programming
• Internet of Things (IoT)
• Embedded Domain-Specific Languages
• +۴ مورد دیگر

Mart Lubbers is an Assistant Professor at Radboud University , focusing on Computer Science . He transitioned from a PhD candidate (2018–2023) and Researcher roles to his current faculty position, with a research emphasis on Task-Oriented Programming and IoT systems . Academic affiliations: Radboud University (current), Netherlands Defence Academy (2017), Max Planck Institute for Psycholinguistics (2013–2015) Teaching: Compiler Construction , New Devices Lab , and Sustainable IoT workshops in SusTrainable summer schools His research bridges Embedded Systems , Functional Programming , and Green Computing , particularly through the development of the mTask framework for IoT orchestration. Publications highlight innovations in DSL design , low-power computing , and tierless language architectures . Current supervision includes PhD candidates Niek Janssen and Benedikt Rips , alongside BSc advisees. He actively contributes to conferences as PC member/chair (TFP, IFL, CompSys).

Olivia Dasمشاهده پروفایل

دانشیار

• Distributed Systems
• Cloud Computing
• Mobile Cloud Computing
• +۵ مورد دیگر

Olivia Das is an Associate Professor in the Department of Electrical, Computer, and Biomedical Engineering at Toronto Metropolitan University. She holds a PhD, MSc, and BSc in Computer Engineering and Applied Mathematics, and is a licensed Professional Engineer (PEng). Her research focuses on performance and dependability evaluation of distributed systems, including cloud computing, mobile cloud, and IoT. Education: PhD, MSc, and BSc from Carleton University and the University of Calcutta. Das employs techniques like measurements, analytical models, simulation, and machine learning to study resource management in distributed software systems. Her work aims to eliminate loading errors and lags in cloud-based systems through proper backend server provisioning. She teaches courses such as Introduction to Software, Object-Oriented Engineering Analysis and Design, and Computer Systems Modelling. Scientific Awards: Teaching Excellence Award, Electrical and Computer Engineering, Toronto Metropolitan University (2011) Visiting Faculty, Indian Institute of Technology-Kanpur (2012) Visiting Faculty, International Institute of Information Technology-Hyderabad (2012) She leads the Dependable Adaptive Systems Group (DAS) and is a member of Professional Engineers Ontario (PEO) and IEEE. Das emphasizes interactive learning in her classroom and is available to supervise students.