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

Mark Wheelhouseمشاهده پروفایل

استاد آموزشی

• On-line Teaching and Assessment
• Automated Testing
• Automated Program Verification
• +۹ مورد دیگر

Dr. Mark Wheelhouse is a Teaching Professor in the Department of Computing at Imperial College London. He serves as Joint Maths and Computing (JMC) Director and Undergraduate Second Year Coordinator. His roles include curriculum development, lab coordination, and overseeing the JMC degree program. He lectures on first-year modules like "Logic & Reasoning" and "Reasoning about Programs". Education: Joint Masters in Mathematics and Computer Science from Imperial College London (2003-2007), graduating with first-class honours and winning the Donald Davies Memorial Prize. Previously, he completed a PhD under Prof. Philippa Gardner, focusing on extending Context Logic for concurrent program analysis, resulting in Segment Logic. Research interests span online education, automated testing systems (e.g., LabTS), formal verification techniques, concurrency, and programming language theory. He advocates for online learning platforms like EdStem and Piazza to enhance teaching support. Lab involvement includes developing the automated Lab Testing System (LabTS) and advancing formal logic frameworks for program analysis. His work intersects theoretical computer science with practical educational tools.

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

استاد

• Computer Architecture
• Systems & Networking
• Parallel Computing
• +۵ مورد دیگر

Dr. Daniel Sanchez is a Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), where he leads the Computation Structures Group within the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on computer architecture, scalable systems, and memory hierarchies, with particular emphasis on multicore and many-core systems, quality-of-service guarantees, and runtime systems. Education: Ph.D. in Electrical Engineering, Stanford University (2012) M.S. in Electrical Engineering, Stanford University (2009) B.S. in Telecommunications Engineering, Technical University of Madrid (UPM) (2007) Research Interests: Dr. Sanchez’s work spans computer architecture innovations such as cache partitioning (KPart), software-defined caches (Jenga), and accelerators for sparse computing (Azul, Terminus). He designs systems that enhance performance, energy efficiency, and scalability in modern computing environments. His projects include the Swarm Architecture for ordered parallelism and architectures supporting fully homomorphic encryption. Articles Trends: Recent publications emphasize accelerators for sparse algorithms, cryptographic hardware (e.g., Fully Homomorphic Encryption), and high-performance computing. His work bridges hardware-software co-design to tackle challenges in irregular applications, memory hierarchies, and secure computing. Awards & Grants: No scientific awards explicitly listed, but his work has been recognized in top conferences (e.g., MICRO, ISCA). Advising & Teaching: He advises over 20 Ph.D. and master’s students, including current advisees Axel Feldmann and Hyun Ryong Lee. He teaches courses like 6.5900 Computer System Architecture and 6.191 Computation Structures at MIT. Labs & Teams: Leader of the Computation Structures Group at MIT CSAIL, collaborating with researchers like Joel Emer, Srini Devadas, and Armando Solar-Lezama. His team explores cutting-edge architectures and systems for next-generation computing.

Valeria Bertaccoمشاهده پروفایل

استاد

• Computer Architecture
• Hardware Security
• Reliability Engineering
• +۷ مورد دیگر

Valeria Bertacco is the Arthur F. Thurnau Professor of Electrical Engineering and Computer Science at the University of Michigan, where she has been since 2003. She also serves as Vice Provost for Engaged Learning, overseeing international partnerships and co-curricular programs. She holds an adjunct professorship at the Addis Ababa Institute of Technology, Ethiopia. Her research focuses on computer design, reliability, hardware security, and specialized architectures for future applications like AI. Education: M.S. and Ph.D. in Electrical Engineering from Stanford University (1998, 2003), and a Computer Engineering degree from the University of Padova, Italy (1995, summa cum laude). Research Interests: Sustainable silicon systems, energy-efficient computing, hardware security with privacy guarantees, specialized accelerators for graph analytics and AI, and post-silicon validation methodologies. She directs the Applications Driving Architectures (ADA) Research Center, a multi-institutional effort supported by semiconductor consortia. Awards: IEEE Fellow, ACM Distinguished Scientist, NSF CAREER Award, IEEE CEDA Early Career Award, and multiple university service awards. Labs & Teams: Leads the ADA Center and the Bertacco Lab, which develop tools like CrashTest, FunSAT, and benchmark suites like DyGraph and MilSpec. Collaborates internationally, including with African academic institutions. Teaching: Courses in computer organization, logic design, and correctness for embedded systems. Supervises over 130 students across 10 institutions through ADA. Grants & Partnerships: Funds include SRC consortium support. Oversees U-M’s international initiatives, making it a leader in student global engagement.

• Environmental Anthropology
• Multispecies Justice
• Indigenous Studies
• +۳ مورد دیگر

Dr. Sophie Chao is a DECRA Fellow and Senior Lecturer in Anthropology at the University of Sydney, specializing in environmental anthropology and multispecies justice with ethnographic focus on West Papua. Her award-winning research examines intersections of Indigeneity, capitalism, ecology, and health justice in Pacific contexts. Key research domains include: Indigenous experiences of hunger and nourishment in plantation contexts Human-plant relations in industrial oil palm landscapes Multispecies justice frameworks for decolonial futures Political ecologies of racial capitalism in Melanesia Her publications demonstrate consistent engagement with Plantationocene studies, Indigenous ontologies, and decolonial methodologies. Award-winning books include In the Shadow of the Palms (Duke UP) and the co-edited volume The Promise of Multispecies Justice . Dr. Chao coordinates undergraduate units including Introduction to Anthropology and The Anthropocene. She currently supervises doctoral research on Indigenous food sovereignty, ancestral memory, and multispecies justice. She co-leads the Sydney Environment Institute's Biocultural Diversities theme and serves on editorial boards for Cultural Anthropology, American Ethnologist, and Oceania. Recent honors include the Paul Bourke Award, Asian Studies Association of Australia ECR Book Prize, Nautilus Gold Award, and Sharon Stephens Prize.

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

دانشیار

• Formal Methods
• Interactive Theorem Proving
• Formal Semantics
• +۳ مورد دیگر

Dr. Michael Norrish is an Associate Professor at The Australian National University , affiliated with the School of Computing and the Mathematical Sciences Institute . He specializes in formal methods, interactive theorem proving (particularly with the HOL4 system), and formal semantics for complex systems. His work emphasizes rigorous software verification and foundational computer science research. Dr. Norrish holds a PhD in Computer Science from the University of Cambridge (1999) , along with a BA and BSc(Hons) from Victoria University of Wellington. His research has led to significant contributions in verified compilers (e.g., CakeML), formalized algorithms (e.g., AKS primality test), and reproducibility challenges in scientific software. Research Interests include: - Formal verification of theorem provers - Verified systems programming - Machine learning integration in automated reasoning - Reproducibility in computational research His recent articles focus on advancing theorem proving tools (e.g., HOL4), reproducibility debt in scientific software, and verified compiler frameworks like PureCake and Pancake. He co-organized the 15th International Conference on Interactive Theorem Proving (ITP 2024) and leads projects on AI trustworthiness in Health, Safety & Environment (Tech4HSE). Current projects include: - Tech4HSE: AI Trust & Trustworthiness (ANU, 2024–2029) - Formalization of mathematical algorithms in HOL4

• Computer Science
• Artificial Intelligence
• Expert Systems
• +۳ مورد دیگر

Zbigniew Buchalski is a researcher at the Department of Computer Engineering, Faculty of Information and Communication Technology, Wrocław University of Science and Technology. His research focuses on computer science, artificial intelligence, expert systems, scheduling in multiprocessing systems, and digital circuit logic design. He holds a PhD and is affiliated with the university’s Department of Computer Engineering. His research interests emphasize the development of decision support systems, expert knowledge management, and algorithmic solutions for logistics and transportation optimization. He has contributed to projects addressing construction material selection, business management systems, and angling advisory systems using expert knowledge. Notable publications include works on decision systems for courier services (2012), heuristic scheduling algorithms (2007), and IT applications in document circulation (2015). His recent research (2019) explores expert systems in construction material selection and commercial project planning. Despite his extensive output, no scientific awards have been explicitly cited. Zbigniew is based at the Wrocław University of Science and Technology’s C-3 building, room 325, and holds office hours on Monday 9:15–11:15 and Tuesday 7:30–9:30. No current advisory or grant activities are documented.

Gabriel Ferrerمشاهده پروفایل

استاد

• Robotics
• Artificial Intelligence
• Computer Science Education

Dr. Gabriel Ferrer is a Professor of Computer Science at Hendrix College, where he has been since 2002. He holds a PhD in Computer Science from the University of Virginia (2002) and teaches courses such as CSCI 150 Lab, CSCI 320, and CSCI 335. His research interests focus on Robotics, Artificial Intelligence, and Computer Science Education. Ferrer has published extensively in journals like Journal of Computing Sciences in Colleges and conferences including AAAI and FLAIRS. His work spans topics like real-time clustering, imitation learning in robotics, and pedagogical approaches to robotics education. Notable publications include studies on KNN distance metrics and unsupervised clustering algorithms. Ferrer actively contributes to academic discourse through blogs like Computing Intelligently and participates in upcoming AI conferences. His research emphasizes practical applications of AI in robotics and innovative educational methodologies in computing.

• Computer Science Education
• Programming Education
• Computer Architecture
• +۴ مورد دیگر

Sohum Sohoni is a Professor in the School of Computing and Augmented Intelligence within the Ira A. Fulton Schools of Engineering at Arizona State University. His research spans computer science education, programming pedagogy, computer architecture, and image quality assessment with GPU acceleration. He has developed innovative educational approaches for computer architecture courses using the PLP instruction set architecture and has contributed significantly to understanding programming education through analysis of error messages and embedded questions. His research interests focus on Computer Science Education , particularly programming education techniques, computer architecture pedagogy, and engineering education methods. He has made substantial contributions to understanding how students learn programming concepts, develop effective debugging skills, and comprehend computer architecture principles. His work bridges theoretical computer science concepts with practical educational applications, emphasizing hands-on learning experiences and innovative assessment methods. His publication trends reveal a strong focus on computer science education research with particular emphasis on programming education (2015-2018), computer architecture education using PLP (2014-2017), and image quality assessment with GPU acceleration (2012-2018). His work consistently combines theoretical computer science concepts with practical educational applications, demonstrating his commitment to improving how computing concepts are taught and learned. His advising work includes mentoring students like Christopher Mar, Harsha B. M. Kadekar, Shaowen Lu, Thien D. Phan, and Vignesh Kannan, who have co-authored publications with him across various computing education topics. His research has been supported through various educational technology projects focused on online learning environments, software engineering education, and computer architecture instruction. He has been actively involved in developing virtualized learning environments for IoT education, creating innovative approaches for software engineering education, and designing effective methods for teaching computer architecture concepts. His work demonstrates a consistent commitment to improving computing education through evidence-based pedagogical approaches and technological innovation.

MIGUEL CARRERO PAZOSمشاهده پروفایل

استاد

• Computational Archaeology
• GIS and Spatial Statistics
• Megalithic Landscapes
• +۳ مورد دیگر

Miguel Carrero-Pazos is a permanent faculty member and Professor at the University of Santiago de Compostela, affiliated with the Department of History within the Faculty of Geography and History. He is a core member of the GEPN-AAT research group (Grupo de Estudios para la Prehistoria del Noroeste Ibérico. Arqueología, Antigüedad y Territorio) and associated with the Centro de Investigación Interuniversitario das Paisaxes Atlánticas Culturais (CISPAC). His doctoral thesis (2017) explored megalithic tomb patterns in Galicia using GIS and spatial statistics. His research focuses on computationally-informed landscape archaeology, emphasizing GIS applications, spatial statistics, and 3D imaging techniques. Key areas include megalithic landscape analysis, rock art documentation (using photogrammetry and digital enhancement), and Neolithic settlement patterns. He has published extensively on topics like burial mound distribution modeling, visibility analysis of megaliths, and digital methods for preserving epigraphic heritage. Recent work highlights include developing hybrid machine learning algorithms for detecting archaeological tumuli, analyzing the 'Coast of Death' dolmen topographies, and advancing open-source computational tools in archaeology. He collaborates internationally, contributing to projects like Epigraphica 3.0, which digitizes Roman inscriptions, and the IFRAO 2018 rock art congress proceedings. His research integrates cutting-edge technologies with traditional archaeological questions, prioritizing reproducibility and interdisciplinary methods. He actively engages in heritage preservation efforts, particularly in Galicia, addressing challenges posed by rural depopulation and demographic changes. Carrero-Pazos is a leading voice in applying computational approaches to understand prehistoric and early medieval human decision-making in landscape contexts.

• Digital Circuit Design
• Embedded Systems
• Microelectronics
• +۳ مورد دیگر

Manuel Jesús Bellido Díaz is a Full Professor at the University of Seville's Department of Electronic Technology. His research focuses on digital circuit design, embedded systems, microelectronics, and FPGA implementations. He leads the 'Investigación y Desarrollo Digital' (Digital Research and Development) group and has been involved in numerous projects, including the SEPIC project on embedded systems for critical infrastructure and the USECHIP microelectronics chair. He has advised doctoral students such as Germán Cano (2022), David Guerrero (2012), and Alejandro Millán (2008). Education: Doctorate in Electronic Engineering (University of Seville). His research interests span power optimization, timing models, and hardware/software co-design. Recent projects include secure IoT boot mechanisms (IRIS), FPGA-based time synchronization cores, and energy-efficient CMOS gate implementations. He has authored over 100 publications, including books and journal articles on topics like trigonometric computation algorithms and embedded file systems. Grants and projects include funding from TSI-020100-2008, SOL2024-31823, and OTRI/08-FCIE13. His work also involves patents for trigonometric function calculators and FPGA-oriented file systems. Labs/Teams: Active in the Digital Technology Research Group, collaborating on hardware-oriented solutions for IoT and embedded systems.

• Microelectronics
• Embedded Systems
• IoT (Internet of Things)
• +۴ مورد دیگر

Enrique Ostúa Arangüena is an Associate Professor in the Department of Electronic Technology at the University of Seville. He is part of the Digital Research and Development group and has been involved in numerous research projects focused on microelectronics, embedded systems, and FPGA-based solutions. His work includes contributions to IoT security, real-time systems, and hardware-oriented file systems. He has led or participated in projects such as USECHIP (Microelectronics Chair), Advanced Initiation Systems for IoT, and Hardware Vorbis CODEC development. His research spans digital circuit design, low-power electronics, and FPGA implementation, with emphasis on applications like time synchronization (SNTP), cryptographic hardware (E-LUKS), and embedded system optimization. He has authored chapters in books such as Grid Computing and Program of Teaching Teams for the Training of Novice Teachers , and has presented at conferences like the IBERCHIP Workshop and IEEE Symposium on Industrial Embedded Systems. Key contributions include patents on trigonometric function calculators and hardware security modules. He has collaborated extensively with researchers like David Guerrero Martos and Julián Viejo Cortés, focusing on methodologies for teaching digital electronics and FPGA-based SOC design. His work emphasizes open-source technologies, hardware-software co-design, and practical applications in industrial control systems.

• Computational Linguistics
• Natural Language Processing
• Syntax-Pragmatics Interface
• +۳ مورد دیگر

Antoine Venant is an Adjunct Professor in the Department of Linguistics and Translation at the Université de Montréal's Faculty of Arts and Sciences. He serves as Deputy Director of the OLST (Observatoire de Linguistique Sens-Texte). His expertise spans computational linguistics, syntax-pragmatics interface, and syntax-semantics interface. He teaches advanced courses in semantics, pragmatics, and natural language processing. Research interests include discourse analysis, game-theoretic pragmatics, and NLP applications. He leads or co-leads multiple research projects funded by agencies like FRQSC and SSHRC, focusing on lexical analysis, model evaluation, and Bayesian reasoning in discourse. Recent projects include assessing latent structure models using artificial datasets and measuring lexical aptitude of generative language models. Supervised Theses : Three Master's theses (2023-2024) addressing pragmatic models, discourse coherence, and danmaku comment classification. Grants : Over $1M in research funding from Canadian federal and provincial agencies. Affiliations : Deputy Director at OLST; collaborator in interdisciplinary projects bridging linguistics, computer science, and cognitive neuroscience. His work integrates formal linguistic theory with computational methods, producing tools for evaluating NLP systems and advancing discourse theory through Bayesian modeling frameworks.

Christopher David Vigerمشاهده پروفایل

دانشیار

• Philosophy of Mind
• Philosophy of Language
• Cognitive Science
• +۳ مورد دیگر

Christopher David Viger is an Associate Professor in the Department of Philosophy at Western University, holding a dual affiliation with the Rotman Institute of Philosophy. Based in the Western Interdisciplinary Research Building in London, Ontario, he serves as Assistant Department Chair and contributes to the Philosophy of Mind and Cognitive Science research domain within the Rotman Institute. His educational background includes foundational training in mathematics and logic, followed by retraining in philosophy at Carleton University under Andrew Brook. He completed his PhD in Philosophy at McGill University supervised by Paul Pietroski, after which he held postdoctoral positions at Tufts University (with Daniel Dennett), Dalhousie University, and the CUNY Graduate Center/Rutgers Center for Cognitive Science. Dr. Viger's research centers on the language-thought relationship , where he developed the Acquired Language of Thought Hypothesis (ALOT) challenging traditional LOT models. He argues conceptual structure interfaces specialized processing modules, with compositionality emerging from natural language rather than innate cognition. His newer work investigates neural connectivity to explain implicit bias, dual process theory failures, and limitations in brain training applications, aiming to improve critical thinking pedagogy. His publication trajectory shows consistent focus on foundational cognitive questions, with recent work (2018-2024) examining language ontology and interpretive effects, while maintaining engagement with core themes like conceptual compositionality and the binding problem. Early influential contributions addressed LOT critiques and philosophical logic puzzles. Key recognitions include: Marilyn Robinson Teaching Award (2008) SSHRC Postdoctoral Fellowship Rotman Faculty Fellowship in Philosophy and Neuroscience (2012-2014) Administratively, he served as Undergraduate Chair (2010-2014) while maintaining active research collaborations across institutions. His work bridges philosophy, cognitive science, and neuroscience through the Rotman Institute's interdisciplinary framework, with recent scholarship increasingly addressing educational applications of cognitive theory. Dr. Viger maintains strong institutional presence through the Rotman Institute's Philosophy of Mind and Cognitive Science domain, collaborating with researchers like Tim Bayne and Mel Goodale. His postdoctoral work with Daniel Dennett at Tufts established enduring connections to major cognitive science centers, reflected in ongoing engagement with CUNY and Rutgers research networks.

Roni Katzirمشاهده پروفایل

دانشیار

• Linguistics
• Computational Linguistics
• Cognitive Science
• +۴ مورد دیگر

Prof. Roni Katzir is an Associate Professor in the Department of Linguistics and a member of the Sagol School of Neuroscience at Tel Aviv University. His research focuses on the intersection of mathematical/computational methods and linguistic cognition, investigating how humans represent, learn, and use language knowledge for inference and discourse. He holds a BSc in Mathematics from Tel Aviv University and a PhD in Linguistics from MIT. Education: BSc in Mathematics, Tel Aviv University PhD in Linguistics, Massachusetts Institute of Technology (MIT) His key research areas include computational linguistics, cognitive science, and formal semantics. Notable contributions address the computational modeling of grammar induction, the evaluation of large language models against human linguistic cognition, and the application of Minimum Description Length principles in neural networks. He leads the Computational Linguistics Lab and undergraduate program at TAU and teaches in the Adi Lautman Interdisciplinary Program for Outstanding Students. Recent work critically examines Large Language Models (LLMs), arguing they fail to replicate core aspects of human linguistic competence. His research also explores neural network generalization for grammar induction and the typological stability of logical operators. Prof. Katzir has advised numerous collaborative projects and leads initiatives in computational phonology and semantics. His labs focus on explanatory adequacy in language learning and neurosymbolic AI integration.

• Computer Architecture
• Heterogeneous Parallel Systems
• GPU Computing
• +۴ مورد دیگر

Juan Luis Aragon Alcaraz is a Full Professor in Computer Architecture at the University of Murcia (Spain), affiliated with the Faculty of Informatics and the Department of Computer Engineering and Technology. He obtained his PhD in Computer Engineering from the University of Murcia in 2003 and held a postdoctoral position as a Visiting Assistant Professor and Researcher at the University of California, Irvine. He has held visiting researcher positions at EPFL (2013) and Princeton University (2015–2022). His research focuses on computer architecture, emphasizing heterogeneous parallel systems, GPUs, memory hierarchies, and energy-efficient microarchitecture design. He has advised 7 PhD theses and co-authored over 60 publications in top-tier conferences and journals. His work includes contributions to GPU-accelerated medical imaging, energy-efficient graphics pipelines, and hardware-software co-design for parallel systems. Key research trends in his articles include optimizing GPU performance for real-time applications, energy efficiency in graphics rendering, and scalable latency tolerance in manycore systems. His patents include innovations in presbyopia correction devices leveraging GPU and FPGA technologies. Dr. Aragón has taught numerous courses in computer architecture and design, including Computer Architecture and Organization, Advanced Aspects in Multicore Architectures, and Embedded Systems Technologies. His labs and collaborations span academic-industrial partnerships, emphasizing practical applications of his theoretical contributions.