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

José Luis Roda Garcíaمشاهده پروفایل

دانشیار

• Computer Science
• Data Science
• Bioinformatics
• +۳ مورد دیگر

José Luis Roda García serves as an Associate Professor in the Department of Computer Engineering and Systems at the University of La Laguna, Spain. His academic work centers on the Area of Computer Languages and Systems, with active involvement in the PhD Program in Industrial Engineering, Informatics, and Environmental. Institutional correspondence is managed through jlroda@ull.edu.es. Education: PhD in Computer Science from the University of La Laguna (1998) with thesis "Nuevos modelos de predicción en computación paralela" (New Prediction Models in Parallel Computing), supervised by Dr. Casiano Rodríguez León. His research program demonstrates exceptional interdisciplinary breadth while maintaining core focus in computational disciplines. Primary expertise includes Data Science applications for public safety (e.g., R-based analysis of Canarian emergency services data), Bioinformatics tool development (notably Dockerized platforms like NanoDJ for genome assembly), and Software Engineering for scalable data infrastructure. His work consistently bridges theoretical computer science with practical implementations in medical informatics, astronomy, and social sciences, reflecting a commitment to solving real-world problems through computational innovation. Analysis of his recent publications (2021-2025) reveals three dominant trajectories: 1) Emergency management systems using data science techniques, 2) Reproducible bioinformatics workflows via containerization, and 3) Cross-disciplinary collaborations in astronomy instrumentation and medical diagnostics. This pattern highlights his role as a computational enabler across diverse scientific domains rather than a domain-specific specialist. Scientific awards: No major awards, fellowships, or honors are documented in available sources. Advising and grants: No specific doctoral students or postdoctoral researchers are listed in public records. Project involvement suggests participation in EU-funded initiatives like ERASMUS environmental programs and Canarian public data projects, though explicit grant details remain unspecified.

• Software Engineering
• Requirements Engineering
• Human-Computer Interaction
• +۷ مورد دیگر

Dr. Maria Spichkova is a Senior Lecturer at RMIT University's School of Computing Technologies. She specializes in Software Engineering, Requirements Engineering, and Computer Science Education. Her research explores human factors in software development, AI applications, and sustainability. She has over 140 publications, including a monograph, and has secured over AUD$385k in research funding since 2015. Dr. Spichkova holds a PhD from TU Munich (2007) and has worked with industry partners like Microsoft and BMW. Awards include the 2023 EAI Fellowship and 2020 AAUT Citation for Teaching Excellence. Education: PhD in Computer Science, TU Munich (2007) Research roles at TU Munich (2003–2013) Research Interests: Human aspects of software engineering, requirements engineering, AI-driven solutions, sustainable eLearning systems, formal methods, and cultural influences on software development. She emphasizes industry collaboration and has led projects like Chirality-2 (mobile gaming for chemistry education) and EndOfTrip (student project). Awards: 2023: Fellow of European Alliance for Innovation (EAI) 2022: LearnSci Teaching Innovation Award (Honourable Mention) 2020: AAUT Citation for Outstanding Contributions to Student Learning 2018: Merit iAward for Chirality-2 Project Advising & Grants: Supervised 7 PhD and 9 Honours students. Notable projects include Tawfeeq Alsanoosy's PhD (14 co-authored papers) and Christopher Bond's Honours thesis (RMIT STEM Award). Secured AUD$330k in external research grants. Labs & Teams: Involved in multidisciplinary teams, e.g., Chirality-2 with Prof. Michelle Spencer (Chemistry) and Prof. Oliver Jones. Collaborates with industry partners like DENSO and AVL. Active in organizing workshops at ICSE, RE, and MODELS conferences.

Robert W. Gehlمشاهده پروفایل

دانشیار

• Digital Governance
• Social Media Studies
• Critical Media Theory
• +۱ مورد دیگر

Robert W. Gehl is an Associate Professor in the Department of Communication & Media Studies at York University, where he holds the Ontario Research Chair in Digital Governance for Social Justice. A Fulbright scholar and award-winning author, his research examines contemporary communication technologies with focus on alternative social media, digital governance, and manipulative communication practices. His research investigates the social and political implications of digital platforms, including network cultures, dark web technologies, and social media manipulation. Gehl's work combines software studies with critical theory to analyze power structures in digital environments. Publications consistently address themes of platform legitimacy, social media alternatives, and the evolution of digital manipulation. Recent scholarship focuses on decentralized platforms as responses to commercial social media monopolies. Gehl teaches courses in communication technology, political economy of communication, and web design. He actively supervises graduate students researching alternative internet infrastructures and social media futures.

Gerard Renardel de Lavaletteمشاهده پروفایل

استاد

• Computer Science
• Mathematical Logic
• Discrete Mathematics
• +۴ مورد دیگر

Prof. Gerard Renardel de Lavalette is a Professor in the Department of Fundamental Computing Science at the University of Groningen’s Faculty of Science and Engineering. His research focuses on mathematical logic, formal methods, and theoretical computer science, with notable expertise in interpolation theory, modal logics, and belief revision systems. Academic Appointments: Deputy Programme Director for Computing Science. Research Interests: Intersection of discrete mathematics, intuitionistic logic, and computational logic applied to software verification and social simulation models. His work integrates foundational logic with practical applications in agent-based systems and GDPR-compliant data anonymization. Recent contributions include dialogical models for opinion dynamics and studies on pseudonymisation techniques. He has authored over 50 peer-reviewed publications across journals and conferences. Key research themes include formal semantics of modularization, Lindelöf properties in infinitary logics, and the design of knowledge-based programming frameworks.

Eric Medvetمشاهده پروفایل

دانشیار

• Evolutionary Computation
• Machine Learning
• Grammatical Evolution
• +۳ مورد دیگر

Eric Medvet is an Associate Professor of Computer Engineering at the Department of Engineering and Architecture (DIA), University of Trieste, Italy. He leads the Evolutionary Robotics and Artificial Life Lab and co-leads the Machine Learning Lab. His research focuses on Evolutionary Computation, Machine Learning, and their applications to robotics, including Grammatical Evolution, Genetic Programming, and soft robotics. He received the Google Faculty Research Award 2019 for a project on modular soft robots and co-authored a best paper at EuroGP 2024. His recent work emphasizes interpretable control policies, quality-diversity optimization, and evolutionary learning of formal specifications. Medvet teaches advanced courses on machine learning, evolutionary robotics, and programming, consistently updating curricula to reflect cutting-edge research. His labs are hubs for interdisciplinary projects, blending theory with practical implementations in robotics and AI. Research Interests: Medvet’s research spans evolutionary algorithms applied to robotics, with a focus on modular systems. He explores how genetic programming and grammatical evolution can optimize robotic designs and controllers. His work on ‘totipotent neural controllers’ and ‘body-brain co-evolution’ exemplifies efforts to create adaptable, specialized robots. He also investigates formal methods (e.g., STL specifications) for system validation and interpretable AI models. Recent trends in his publications reflect a shift toward practical applications, such as wearable movement analysis and sim-to-real transfer in robotics. Awards: Google Faculty Research Award 2019, EuroGP 2024 Best Paper Award Labs: Evolutionary Robotics and Artificial Life Lab, Machine Learning Lab Teaching: Courses include Advanced Programming, Introduction to Machine Learning, and Evolutionary Robotics, with a focus on Java and practical software development. Medvet’s approach integrates theoretical rigor with hands-on experimentation, emphasizing open-source tools like JGEA and 2D-VSR-Sim. His work bridges computational intelligence and real-world robotics challenges, driving innovation in both fields.

• Computational Media
• Infrastructure Design
• Sociological Theory
• +۹ مورد دیگر

Benjamin Bratton is a Professor of Digital Design at The European Graduate School / EGS and an Associate Professor of Visual Arts at the University of California, San Diego. He directs UCSD's Center for Design and Geopolitics, collaborating with the California Institute for Telecommunications and Information Technology. Bratton holds a Ph.D. in the sociology of technology from UCSB. His work spans computational media, urban design, and geopolitical theory, with a focus on planetary-scale computation's impact on sovereignty. Bratton's research integrates architecture, philosophy, and design strategy, including co-founding SCI Arc's XLAB courses exploring robotics and biogenetics. His seminal work The Stack: On Software and Sovereignty (2015) proposes a unified theory of cloud computing's geopolitical implications. He lectures globally at institutions like Columbia, Yale, and the Bartlett School of Architecture. His articles synthesize technical discourse with sociopolitical critique, addressing themes like cloud feudalism, post-anthropocene aesthetics, and algorithmic governance. Bratton's interdisciplinary approach bridges academia and practice, influencing contemporary debates on digital infrastructure's societal role.

Sofya Pogerمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +۸ مورد دیگر

Dr. Sofya Poger is an Associate Professor in the Department of Computer Science at Felician University's School of Business and Information Sciences. With over 15 years of teaching experience, she led the establishment of the university's Master of Science in Computer Science program. PhD in Computer Science, Stevens Institute of Technology MA in Computer Science, Montclair State University BSEE, Moscow Institute of Technology Dr. Poger's research focuses on Computer Vision , Pattern Recognition , Artificial Intelligence , and Machine Learning . Her work explores Temporal Weighted Data Models , Graph Theory , and Multispectral Sensor Design . Her recent publications (2001-2017) span topics in Computer Science Education , Software Engineering , and Computer Vision . Key trends include leveraging Web-Based Systems for educational assessment and developing algorithms for Planar Grid Graphs .

Juan Carlos Farahمشاهده پروفایل

پژوهشگر

• Educational Technology
• Artificial Intelligence in Education
• Learning Analytics
• +۴ مورد دیگر

Juan Carlos Farah is a Researcher at the École Polytechnique Fédérale de Lausanne (EPFL), holding dual appointments in the Fondation Bertarelli Chair in Neuroprosthétique Cognitive (School of Life Sciences/SV) and the SCI-STI-DG group (School of Engineering/STI). His work bridges neuroscience, artificial intelligence, and educational technology, focusing on innovative applications of AI in learning environments and neuroprosthetics research. Research Interests: Farah’s research spans educational chatbot design, AI-enhanced learning analytics, neuroprosthetic systems, and the ethical integration of technology in education. He has pioneered frameworks for task-oriented conversational agents, blockchain-based learning trace repositories, and gamified computational thinking tools. Key Projects: He contributed to the Graasp Desktop initiative for underconnected African schools and developed the TRACE model for educational chatbots. His work on code review notebooks and bot-mediated software engineering education has influenced pedagogical practices globally. Awards & Recognition: No specific awards listed, but his publications reflect high-impact contributions to IEEE, ACM, and Elsevier journals/conferences. Active in global initiatives like UNESCO’s Unequal World Conference on education equity. Technical Expertise: Proficient in Python, JavaScript, and AI toolkits. Specializes in building scalable educational platforms, learning analytics pipelines, and neuroimaging analysis for cognitive studies.

Peter Sandbornمشاهده پروفایل

استاد

• Electronic Packaging and Reliability
• Life-Cycle Cost Analysis
• System Sustainment
• +۴ مورد دیگر

Peter Sandborn is a Professor of Mechanical Engineering at the University of Maryland, College Park, and holds roles such as Director of the MTech program, Associate Chair for Academic Affairs, and Director of Graduate Studies. He received his Ph.D. from the University of Michigan in 1987. His research focuses on electronic packaging reliability, life-cycle cost analysis, and system sustainment, particularly addressing challenges like technology obsolescence and supply chain management. He has contributed to over 200 publications, including seminal works on Prognostics and Health Management (PHM) and obsolescence-driven design refresh strategies. Key honors include IEEE Fellow (2014), ASME Fellow (2013), and the 2009 Poole and Kent Teaching Award. His professional memberships span editorial roles in IEEE and ASME journals, conference leadership, and advisory roles on technology roadmaps. Sandborn has pioneered educational initiatives integrating teardown analysis and embedded resistor emulation for teaching cost modeling. His work bridges engineering economics, reliability, and sustainable design, influencing both academic and industrial practices in system sustainment.

• Formal Methods
• Distributed Systems
• Model Checking
• +۵ مورد دیگر

Stephan Merz is a Professor at the University of Lorraine, affiliated with Inria Nancy - Grand Est and the LORIA research laboratory. His work focuses on formal methods for the specification and verification of distributed systems, with a particular emphasis on the TLA+ specification language developed by Leslie Lamport. Merz has established himself as a leading expert in formal verification through decades of research and numerous collaborations with prominent figures in the field. Merz's research interests encompass several interconnected areas within theoretical and applied computer science: Formal specification languages and their theoretical foundations Distributed algorithms and fault-tolerant systems Model checking and theorem proving techniques Verification of consensus algorithms and synchronization protocols Security policy verification in modern network architectures His recent publications reveal a consistent research trajectory advancing both the theoretical underpinnings and practical applications of formal methods. The 2021-2023 publications demonstrate particular focus on extending PlusCal (a pseudo-algorithm language for TLA+), developing automatic verification techniques for distributed algorithms like the Bakery algorithm, and tackling synchronization challenges in dynamic networks. His award-winning work on synchronization modulo k highlights the practical significance of his theoretical contributions. Merz has received notable recognition for his research, including a best paper award at the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021) for his work on synchronization in dynamic networks. This award underscores the impact and innovation of his research within the distributed systems community. Throughout his career, Merz has collaborated extensively with researchers across institutions, co-authoring papers with Leslie Lamport and other leading figures in formal methods. His work on the TLA+ Proof System (TLAPS) has been particularly influential, bridging the gap between theoretical formal methods and practical verification tools. He has also contributed significantly to verifying real-world protocols like Pastry (a distributed hash table implementation). Merz is actively involved with the LORIA research laboratory, a joint unit of INRIA, CNRS, and the University of Lorraine, where he contributes to advancing research in formal methods and their application to critical systems. His work continues to influence both academic research and industrial applications of formal verification techniques.

Gianmarco Cherchiمشاهده پروفایل

استادیار

• Computer Graphics
• Geometry Processing
• Surface Mesh Generation
• +۱۲ مورد دیگر

Gianmarco Cherchi is a Tenure-Track Assistant Professor and Computer Science Researcher in the Department of Mathematics and Computer Science at the University of Cagliari, Italy, where he also completed his PhD. He teaches courses in Data Visualization and Web Programming at the undergraduate level. His research lies at the intersection of Computer Graphics and Geometry Processing, with a strong focus on surface and volumetric mesh generation, optimization, digital fabrication, and polycube-based modeling. His work combines algorithmic innovation with practical applications in fabrication, visualization, and interactive systems. The recent publications highlight a consistent trend in advanced hexahedral meshing techniques (e.g., HexBox, VOLMAP), robust geometric computation (e.g., mesh booleans), and interactive tools (e.g., ProtoSketchAR, Py3DViewer). His research spans theoretical algorithm development, benchmark creation, and applied systems for VR/AR and simulation. His scientific accolades include the Young Investigator Award 2024 from the Shape Modeling International Organization, and prior Best Thesis Awards from the Eurographics Italy Association for both his M.Sc. and Ph.D. work. Cherchi actively collaborates with researchers such as Marco Livesu, Riccardo Scateni, and others, contributing to major surveys and state-of-the-art methods in hexahedral meshing. His work is supported by publications in top venues like ACM Transactions on Graphics (SIGGRAPH), Computer Graphics Forum (Eurographics), and IEEE VR. He has also developed practical software tools like Py3DViewer for geometry processing prototyping. He leads research in digital fabrication pipelines, as evidenced by publications on polycube decomposition for manufacturing and automated flat pattern generation. His lab work involves developing interactive and robust systems for 3D modeling and analysis.

• Computer Science
• Artificial Intelligence
• Logic Programming
• +۷ مورد دیگر

Stefania Costantini is a Professor in Computer Science with a focus on logic programming, multi-agent systems, and healthcare applications. She has contributed to the development of intelligent ecosystems for patient monitoring, ontology frameworks for medical wearables, and formal verification methods for agent systems. Research Interests: Logic-based agent modeling Complex event processing Healthcare technology integration Temporal and metalevel logic applications Wearable device classification Recent Article Trends: Stefania's work combines artificial intelligence with biomedical engineering, emphasizing real-time data analysis from wearables, noise pollution mitigation, and agent-based healthcare systems. Her publications show a consistent focus on computational logic foundations applied to practical healthcare scenarios. Collaboration Network: Key co-authors include Lorenzo De Lauretis, Fabio Persia, and C. Bertoncelli across interdisciplinary projects blending computer science with medical research.

Jerome Lewisمشاهده پروفایل

عضو هیئت علمی

• Social Anthropology
• Hunter-gatherer societies
• Egalitarian politics
• +۶ مورد دیگر

Jerome Lewis is Reader in Social Anthropology at University College London, where he also serves as Co-Director of the Extreme Citizen Science Research Group and the Centre for the Anthropology of Sustainability. A leading authority on Central African hunter-gatherers, he combines long-term ethnographic fieldwork with participatory technology design to advance indigenous rights and environmental justice. Education PhD Anthropology, London School of Economics and Political Science (2002) Research Interests Lewis’s scholarship focuses on egalitarian politics , ritual and play , and the evolution of language and music among hunter-gatherer societies. He is internationally recognised for developing Extreme Citizen Science —a methodological framework that empowers non-literate communities to collect and analyse data on their own terms through software such as Sapelli . His work on participatory mapping , free, prior and informed consent (FPIC) , and indigenous rights has directly influenced forestry governance across the Congo Basin. Scientific Awards & Honours 2017 & 2016: Outstanding Teacher Award, University of London Union 2015: William Fagg Lecturer, British Museum 2014: NT100 List, Nominet Trust 2010: Cuthbert Peek Award, Royal Geographical Society 2008: Dubai International Award for Best Practice 2007: Technology Museum Laureate 2006: Environmental Innovation Award, Timber Trade Journal 2005: E-tutor of the Year commendation, Times Higher Education Supplement Grants & Supervision Lewis has secured over €5 million in competitive funding, including Horizon 2020, Leverhulme Trust, and ESRC awards. He currently supervises nine doctoral researchers working on topics from water justice in Mexico to architectural decolonisation in Rwanda. Past supervisees have investigated Mbendjele cultural transmission, Malagasy agricultural practices, and gender dynamics among Idu-Mishmi communities. Research Groups & Labs He co-leads the Extreme Citizen Science Research Group within UCL’s Chorley Institute, and is affiliated with the Human Ecology Research Group and the Sustainability, Environment and the Culture of Materials Research Group . Through the Ethnographic Insights Lab he provides consultancy services to NGOs, governments and industry on community engagement and sustainable resource management.

Ole Lehrmann Madsenمشاهده پروفایل

استاد

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

Ole Lehrmann Madsen is a Professor in the Department of Computer Science at Aarhus University, Denmark, specializing in object-oriented systems and software engineering with over 70 research outputs spanning five decades. His research centers on Object-Oriented Programming (100% fingerprint intensity), Object-Oriented Languages (93%), and Software Architecture, with significant contributions to distributed systems, concurrency models, and virtual machine design. Recent work explores foundational programming paradigms, debugging innovations through object-sequence diagrams, and reducing documentation needs via supplementary properties. Publications from 2022-2024 reveal consistent focus on object-oriented theory evolution, blending historical analysis with practical tool development. Key themes include modeling fundamentals, language semantics, and philosophical critiques of programming concepts, often co-authored with B. Møller-Pedersen. No scientific awards are documented in the source material. Madsen actively engages in research policy through committee memberships including Innovationsfonden (2014), CONNECT Advisory Forum (2013-2015), and DTU NanoTech Advisory Board (since 2009), demonstrating sustained influence in Danish technical education and funding frameworks.

• Mobile Network Security
• Cryptography
• Privacy Engineering
• +۴ مورد دیگر

Stig Frode Mjølsnes serves as a Professor in the Department of Information Security and Communication Technology within the Faculty of Information Technology and Electrical Engineering at the Norwegian University of Science and Technology (NTNU). His research spans mobile network security, cryptographic protocols, and privacy engineering, with particular focus on vulnerabilities in LTE/4G systems and subscriber identification mechanisms. His office is located at Elektro B, B219, Gløshaugen, OS Bragstads plass 2, and he maintains active research collaborations internationally. Professor Mjølsnes' research interests center on mobile network security with emphasis on privacy exposure in cellular systems, cryptographic protocol design, and security education. His work has systematically exposed critical vulnerabilities in LTE paging mechanisms that enable IMSI catchers and subscriber tracking, while developing practical countermeasures through privacy-preserving identification protocols. He bridges theoretical cryptography with real-world implementation challenges, particularly in wireless communication systems where security flaws have immediate practical consequences. His research methodology combines formal protocol analysis with experimental network security testing. His publication record demonstrates consistent focus on mobile network privacy vulnerabilities, particularly in LTE systems, where his team has documented low-cost attack methodologies accessible even to non-programmers. The research trajectory shows evolution from foundational cryptographic work toward applied security testing frameworks that have influenced both academic understanding and practical security implementations in mobile networks. His contributions include developing educational tools for security experimentation and analyzing cryptographic weaknesses in voting systems. Professor Mjølsnes actively contributes to the academic community through conference organization, particularly the Norwegian ICT Conference for Research and Education (NISK), where he has served as program chair. His editorial work includes prefaces for major security conference proceedings published by Springer in the Lecture Notes in Computer Science series. He has also contributed to security standardization discussions through technical reports and government consultations. His teaching philosophy emphasizes hands-on security education, as evidenced by publications on security laboratory didactics and mobile network security experimentation frameworks. He has developed practical educational approaches for teaching information security through software laboratories and web security exercises, focusing on bridging theoretical knowledge with practical implementation skills.