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

Melika Payvandمشاهده پروفایل

استادیار

• Neuroinformatics
• Artificial Intelligence
• Neuromorphic Computing
• +۵ مورد دیگر

Melika Payvand is an Assistant Professor at the Institute of Neuroinformatics, University of Zurich and ETH Zurich, leading the Emerging Intelligent Substrates lab. She holds MSc and PhD degrees in Electrical and Computer Engineering from the University of California, Santa Barbara (2012 and 2016). Her research focuses on understanding natural intelligence and translating its principles into efficient artificial intelligence systems, particularly exploring hierarchical structures and memristive devices to reduce AI operational costs. She received the 2023 Swiss National Science Foundation Starting Grant and is actively involved in neuromorphic initiatives, including co-coordinating the NEUROTECH project and co-chairing the International Conference on Neuromorphic Systems (ICONS). Her work bridges neuroscience and engineering, emphasizing neuromorphic computing’s potential for scalable and energy-efficient AI. Key contributions include developing the Neurobench benchmarking framework and advancing 3D integration for neuromorphic systems. She also chairs the Neural Systems and Applications committee of the IEEE Circuits and Systems Society, reflecting her leadership in the field. Research interests span neuromorphic architectures, memristive technologies, and spiking neural networks. She has pioneered studies on temporal hierarchy, in-memory computing, and hardware-aware training methods. Her lab’s interdisciplinary approach integrates circuit design, machine learning, and neurobiology to create next-generation intelligent systems.

Rodrigo Lara Zendejasمشاهده پروفایل

استادیار

• Sculpture
• Ceramics
• Installation
• +۷ مورد دیگر

Rodrigo Lara Zendejas is an Assistant Professor and Area Head of the Ceramics Department at the University of Notre Dame’s College of Arts and Letters, within the Department of Art, Art History, and Design. He holds an MFA from the School of the Art Institute of Chicago (2013) and a BFA (Summa Cum Laude) from the Universidad de Guanajuato (2003). His work focuses on sculpture, ceramics, installation, and performance, exploring themes like memorialization, ancestral heritage, and social practice. He has exhibited widely in institutions such as the Museo de Arte Moderno (Mexico), the National Museum of Mexican Art (Chicago), and Test Site Projects (Las Vegas). Key awards include the First Prize in Sculpture at Mexico’s Premio Nacional de las Artes Visuales (2010), the Emerging Artist Grant from the Joan Mitchell Foundation (2016), and an O-1 Visa for Extraordinary Abilities. He has held residencies at MASS MoCA, Vermont Studio Center, and Cerámica Suro. Lara’s publications include the monograph Memorials (2020) and catalogues like Mascaras y Artefactos (2010). His teaching spans institutions such as Hyde Park Art Center and the School of the Art Institute of Chicago, emphasizing sculpture techniques and community engagement.

• Visual Arts and Crafts
• Curriculum and Pedagogy
• Abstract Painting
• +۳ مورد دیگر

Dr. Robin Kingston is an Honorary University Fellow at RMIT University's School of Art, specializing in visual arts, pedagogy, and material practices. His academic role involves research supervision and teaching in abstraction, contemporary painting, and installation art. He holds a PhD from RMIT (1998) and has extensive experience in New York, including studies at the New York Studio School. His work explores materiality, spatial engagement, and the intersection of art with education and cultural practices. Research Interests: Visual Arts and Crafts, Curriculum and Pedagogy, Materiality, and Phenomenology. Teaching focuses on abstraction, drawing, and installation practices. He has supervised projects such as Performing the Material Poetics of Migration (2017-2020) and Materialising Deep Time (2015-2020). Awards: St. Leo’s College Prize (1978) Exhibitions: Here with You (Stockroom, 2011), It's a Matter of Time (Langford 120 Gallery, 2016) Teaching: Leads the New York Study Tour program, emphasizing direct engagement with global art institutions.

Liu Yangمشاهده پروفایل

استاد

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Liu Yang is a full Professor and University Leadership Forum Chair at the School of Computer Science and Engineering, Nanyang Technological University (NTU). He holds the President’s Chair in Computer Science and Engineering and serves as Executive Director of the Cyber Research Programme Office and Cyber Security Research Centre @ NTU. His research focuses on Cybersecurity, Software Engineering, and Artificial Intelligence, with contributions in formal verification, program analysis, and deep learning systems. He leads projects like the Securify initiative and develops tools such as the Process Analysis Toolkit (PAT) for system verification. Education: Ph.D. (2010) and Bachelor of Computing Science (2005) from National University of Singapore. Research Interests: Cybersecurity (malware analysis, vulnerability detection), Software Engineering (formal verification, program analysis), AI (security, robustness, explainability), and Automotive Security. His work bridges formal methods, program analysis, and machine learning to address challenges in secure systems and autonomous systems. Notable Achievements: Over 6000 citations (2020), H-index 38, awards include Nanyang Assistant Professor (2013), NRF Investigatorship (2020), and ACM Distinguished Speaker. His research spans journals like IEEE Transactions on Software Engineering and conferences such as NeurIPS, CVPR, and ICSE. Grants and Leadership: Principal Investigator of grants totaling over 5M SGD, including projects on vulnerability detection, formal verification, and cybersecurity. Organizes international conferences like ASE, ICSE, and FM, and serves on editorial boards such as IEEE Access. Labs/Teams: Leads the Cyber Security Research Centre @ NTU and collaborates on projects like the HP-NTU Digital Manufacturing Corp Lab and the National Satellite of Excellence in Singapore.

Babette Mangolteمشاهده پروفایل

استاد

• Cinematography
• Experimental Film
• Photography
• +۳ مورد دیگر

Babette Mangolte is a Professor in the Department of Visual Arts at the University of California, San Diego. A renowned figure in experimental cinema and photography, she is celebrated for her work as cinematographer and filmmaker, particularly in feminist film practice and avant-garde techniques. Her career spans over five decades with significant contributions to both film and visual arts. Education & Early Career: Mangolte studied cinematography at L’École Nationale de la Photographie et de la Cinématographie (1965–66) in Paris. She began her career as an assistant camera operator in the late 1960s and directed her first feature film, What Maisie Knew , in 1970. By the 1970s, she became deeply involved in New York’s experimental art scene, collaborating with figures like Yvonne Rainer and Trisha Brown. Research & Work: Her research interests include the intersection of cinema, performance, and photography. Notable films include Jeanne Dielman (1975), News From Home (1976), and Visible Cities (1991). Her work often explores themes of gender, space, and narrative form. Mangolte has contributed critically to feminist film theory and authored essays on technology’s impact on filmmaking, such as A Matter of Time: Analog versus Digital (2002). Awards & Recognition: Mangolte received the Prix de la Lumiere at the 1975 Toulon Film Festival for What Maisie Knew . Her films have been showcased globally at institutions like MoMA, the Whitney Museum, and the Tate Modern. Retrospectives of her work were held in Germany (2000) and New York (2004). Labs & Collaborations: She has collaborated extensively with dancers, choreographers, and artists, including Robert Rauschenberg and Robert Whitman. Her photography captures performance art and theater, featured in publications like October and Artforum . Currently, she is archiving her photographic works and writing on Robert Bresson’s legacy.

• Computer History
• Electrical Engineering
• Digital Signal Processing
• +۳ مورد دیگر

Mark Kahrs is an Instructor at the Swanson School of Engineering, University of Pittsburgh. His research spans diverse areas including computer history, microwave measurements, digital signal processing, and audio engineering. He has contributed to historical analyses of software systems like Project Genie, RF instrumentation, and audio hardware design. Kahrs' work bridges historical computing studies with modern engineering applications, emphasizing interdisciplinary innovation. His publications span from 1980 to 2022, reflecting long-term engagement with topics such as optoelectronics, acoustic systems, and simulation methodologies. Notable contributions include studies on optoelectronic interconnects and microwave measurement techniques. Despite his extensive publication record, no awards or grants are explicitly listed in the provided texts. He has no documented advisees or students listed here. Labs/Teams: No specific labs or collaborative teams mentioned in the available data.

Maia Fraserمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Neuroscience
• +۴ مورد دیگر

Maia Fraser is an Associate Professor in the Department of Mathematics and Statistics at the University of Ottawa. She holds an MSc and PhD from the University of Chicago and a PhD from Stanford University. Her research spans interdisciplinary areas including machine learning, computational neuroscience, and applied mathematics. Notably, she explores the intersection of AI with structural engineering, focusing on automated damage assessment in concrete and neural mechanisms underlying continual learning. Her work also delves into theoretical aspects of contact geometry and reinforcement learning. Her academic contributions include pioneering methods for damage quantification using digital images, theoretical frameworks for temporal abstractions in neural systems, and algorithmic advancements in decision-making under uncertainty. Fraser’s research often bridges abstract mathematical theory with practical applications, such as optimizing nautical navigation and analyzing fish behavior through spatial learning models. Education: MSc in Mathematics, University of Chicago PhD in Mathematics, University of Chicago PhD in Computer Science, Stanford University Fraser’s recent publications highlight advancements in automated assessment techniques for civil infrastructure, the role of temporal hierarchies in neural organization, and foundational work in reinforcement learning theory. Her interdisciplinary approach reflects a commitment to solving complex problems through collaborative, mathematically rigorous methods.

• Bioinformatics
• High-Performance Computing
• Parallel Algorithms
• +۳ مورد دیگر

Lukas Hübner is a Doctoral Researcher at the Karlsruhe Institute of Technology (KIT) and a Visiting Scientist at the Heidelberg Institute for Theoretical Studies (HITS) . He holds a B.Sc. in Molecular Biotechnology from Heidelberg University and an M.Sc. in Computer Science from KIT. His research focuses on integrating computational methods with biological data analysis, particularly in phylogenetic inference, high-performance computing, and parallel algorithm design. He explores fault-tolerant systems, MPI optimizations, and reproducibility in computational workflows. Key research interests include: Parallel algorithms for large-scale phylogenetic analysis Optimization of MPI-based distributed systems Reproducibility in high-performance computing Fault-tolerance mechanisms in parallel algorithms His work often bridges computer science and bioinformatics, addressing challenges in genetic data processing and algorithm scalability. Recent publications emphasize techniques like memoization for genealogical forests and zero-overhead C++ bindings for MPI. He has collaborated on tools like RAxML-NG and ReStore, advancing robust computational methods for phylogenetic studies.

• Global Program Analysis
• Verification
• Debugging
• +۵ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor at the Department of Computer Science, Universidad Politécnica de Madrid. He holds a PhD in Electrical and Computer Engineering from the University of Texas at Austin (1986). His academic career spans over four decades, contributing to global program analysis, verification, and parallel computing. Education: PhD, Electrical and Computer Engineering, University of Texas at Austin (1986) M.S., Electrical and Computer Engineering, University of Texas at Austin (1984) M.S., Electrical Engineering, Technical University of Madrid (1981) Research Interests: His work focuses on global program analysis , verification , and optimization for functional/non-functional properties. He pioneered techniques in abstract interpretation , parallelism , and constraint/logic programming . His contributions include the Ciao programming system and the CiaoPP preprocessor, emphasizing static analysis and program debugging . Key Awards: ACM Fellow Julio Rey Pastor Prize (2006) Elected member of Academia Europaea (2010) Test of Time Award at ICLP 2017 His work has been cited over 10,000 times, with an h-index of 60. Leadership & Contributions: Founded and directed the IMDEA Software Institute Directed Spain's National Research Directorate (1999–2002) Chair of major conferences (POPL 2010, ICLP 2006) Labs & Teams: Leader of the CLIP Lab (Computational Logic, Implementation, and Parallelism) Principal investigator in EU-funded projects on resource-aware computing

Hila Pelegمشاهده پروفایل

استادیار

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

Hila Peleg is an Assistant Professor in the Department of Computer Science at the Technion – Israel Institute of Technology, where she co-leads the TecSE lab with Prof. Shachar Itzhaky. Her research lies at the intersection of Programming Languages, Software Engineering, and Human-Computer Interaction, focusing on program synthesis and interactive developer tools. Her research interests center on creating intelligent, theory-driven tools that enhance programmer productivity and correctness. She explores interaction models that integrate formal methods like separation logic into practical synthesis systems, enabling more versatile and reliable code generation. Her work spans both foundational models and real-world applications, from web layout synthesis to computational crafting. The trend in her recent publications shows a strong focus on interactive and practical program synthesis, blending formal verification with user-centered design. She investigates how synthesis can be made more usable through live programming, best-effort results, co-design of tools and languages, and integration with developer workflows. Her work increasingly emphasizes the human aspect of programming tools. Distinguished Paper Award, PLDI 2021 Distinguished Artifact Award, SPLASH 2020 Hila Peleg advises multiple graduate students, including PhD and MSc candidates, and leads the ERC-funded EXPLOSYN project, which supports advanced research in program synthesis. She has taught advanced courses such as User-Centered Programming Tools and seminars in programming languages, and is actively involved in the academic community through conference service and organization. She is a core member of the TecSE lab, which focuses on advancing software engineering through programming language theory and interactive systems. The lab fosters interdisciplinary research at the boundary of formal methods and human-centered tool design.

Jacob Birk Jensenمشاهده پروفایل

دانشیار

• Hydrology
• Groundwater Modeling
• Urban Hydrology
• +۷ مورد دیگر

Jacob Birk Jensen is an External Associate Professor in the Department of Construction, Urban and Environmental Engineering at Aalborg University, Faculty of Engineering and Science, Denmark. His work bridges hydrology, environmental engineering, and stochastic modeling, with a focus on groundwater systems and urban hydrology. Department: Department of Construction, Urban and Environmental Engineering School: Faculty of Engineering and Science University: Aalborg University Position: External Associate Professor His research interests include groundwater modeling, inverse modeling, stochastic methods, eco-hydrology, and urban drainage systems. He applies reliability theory and probabilistic modeling to assess hydrological risks and environmental impacts, particularly in groundwater-dependent ecosystems and agricultural landscapes. The recent publications show a strong trend in integrated modeling approaches, such as coupling SWAT and MODFLOW to evaluate streamflow responses to groundwater abstraction. His work spans environmental sustainability, agricultural hydrology, and coastal engineering, reflecting a multidisciplinary approach to water resource challenges. Keywords across his research include hydrology, groundwater abstraction, eco-hydrology, reliability methods, and urban drainage. He has contributed to significant research projects including: Application of Reliability Theoretical Methods in Hydrological Simulations Eco-hydrological Modeling of Stream Valleys Impact of Rising Groundwater Tables on Agricultural Land Use Rotating Wave Energy Absorber Development Jacob Birk Jensen has advised PhD students such as O. Johansen and M. L. Fejerskov. While no formal scientific awards are listed, his publications are well-cited, particularly in the areas of groundwater abstraction and fen ecosystem responses. He has also delivered lectures at international conferences, including the International Multidisciplinary Conference on Hydrology and Ecology. His research group, the Urban Hydrology section, focuses on infrastructure, hydraulic engineering, and environmental technology, contributing to sustainable urban water management and climate resilience.

Swamit Tannuمشاهده پروفایل

استادیار

• Quantum Computing
• Computer Architecture
• Systems Design
• +۳ مورد دیگر

Swamit Tannu is an Assistant Professor in the School of Computer, Data, & Information Sciences at the University of Wisconsin-Madison, with a primary appointment in the Department of Electrical and Computer Engineering. He leads the QUEST Research Group, focusing on advancing quantum computing through system-level innovations. His research centers on the architectural and systems-level design of quantum computers, aiming to develop new abstractions, programming models, and tools that enhance the performance, scalability, and usability of both quantum and classical computing systems. The work bridges hardware and software challenges in emerging computing paradigms. The research conducted by Dr. Tannu and his team spans the intersection of computer architecture, quantum information science, and systems engineering. While no publications are listed in the provided text, the focus appears to be on foundational system design for next-generation quantum processors and hybrid computing environments. The following scientific contributions and recognitions have been awarded to Dr. Tannu: No scientific awards listed in the provided text. Dr. Tannu advises students through his QUEST Research Group and is likely involved in securing research grants to support quantum computing initiatives, though specific grant details and advisees are not mentioned in the current profile. He leads the QUEST Research Group, a team dedicated to exploring innovative solutions in quantum computing systems, focusing on architecture, abstraction, and integration with classical computing infrastructure.

Chung-chieh Shanمشاهده پروفایل

دانشیار

• Programming Languages
• Probabilistic Programming
• Formal Semantics
• +۳ مورد دیگر

Chung-chieh Shan is an Associate Professor in the Department of Computer Science at Indiana University. He has held roles including Assistant Professor at Indiana University (2013–2019), Visiting Assistant Professor at Cornell University (2011), and Researcher at the University of Tsukuba (2012). His research focuses on programming languages, probabilistic programming, and formal semantics, with contributions to modular programming and computational linguistics. Education: PhD in Computer Science from Harvard University (2005), BA in Mathematics from Harvard (1999). His dissertation explored linguistic side effects, bridging computational effects and natural language phenomena. Research Interests: Shan develops probabilistic programming languages to modularize stochastic models and inference algorithms. His work spans formal semantics, logic, and computational linguistics, emphasizing the interplay between programming language constructs and linguistic meaning. Recent projects include symbolic disintegration for probabilistic programs and DSL design for efficient code generation. Awards: Notable recognitions include the 2009 Best Paper Award at Domain-Specific Languages Conference, the 2006 Beth Dissertation Award, and a First Place win in the 2001 ICFP Programming Contest. Teaching: Shan teaches courses such as Probabilistic Programming and Advanced Functional Programming, emphasizing practical applications of theoretical concepts. His teaching spans both undergraduate and graduate levels at Indiana, Rutgers, and other institutions. Professional Activities: Editorial board member of Semantics and Pragmatics , and program committee member for conferences like ICFP and POPL. Active in organizing workshops on probabilistic programming and programming language theory.

Stefan Zellmannمشاهده پروفایل

دانشیار

• Scientific Visualization
• Computer Graphics
• High-Performance Computing
• +۴ مورد دیگر

Stefan Zellmann is an Associate Professor and Principal Investigator of the DFG Project 'VTV-AMR' at the Institute of Computer Science , University of Cologne. His research focuses on the intersection of large-scale scientific visualization and high-performance computing, particularly in developing real-time rendering algorithms for adaptive mesh refinement (AMR) data. He leads projects such as ExaBrick (AMR rendering framework) and Visionaray (cross-platform ray tracing library). Education & Roles: Completed his PhD in 2014 on 'Interactive High-Performance Volume Rendering'. Currently teaches courses on graphics processor architectures and programming, including Practical Computer Science: Architecture and Programming of Graphics and Coprocessors . Research Interests: Direct volume rendering, physically based rendering, AMR visualization, GPGPU computing, and FPGA programming. His work emphasizes low-latency interaction and efficient algorithms for supercomputers/multi-GPU systems. Awards: Honorable Mention @EGPGV 2020, Best Paper Awards @EGPGV 2018 (for Rapid k-d Tree Construction ), @VDA 2017 (for Ray Clipping ), and @PDCS 2012 (for Distributed Volume Rendering Architecture ). Key Projects: ExaBrick (AMR rendering), Visionaray (ray tracing), Virvo (volume rendering library), and HPSC TerrSys (high-performance computing in terrestrial systems). Grants & Services: Co-Chair of IEEE LDAV 2022 Posters, Program Committee member for IEEE VIS and EGPGV. Regular reviewer for journals/conferences like TVCG and IEEE VR. Labs/Teams: Part of the Center for Data and Simulation Science (CDS), focusing on visualization algorithms for exascale computing and large-scale scientific data.

• High-Performance Computing
• Big Data Processing
• Performance Portability
• +۳ مورد دیگر

Enes Bajrovic is a researcher affiliated with the Faculty of Computer Science, focusing on high-performance computing (HPC), big data processing, and performance portability. His work spans task-based parallelism, runtime systems, and optimization frameworks for heterogeneous architectures. He has contributed to major European projects like PEPPHER and AutoTune, which aim to advance HPC software tools and autotuning methodologies. His research emphasizes practical applications of parallel computing in domains such as mobile networks and scientific simulations. Education: Dipl.-Ing. Dr.techn., BSc in Computer Science His research interests include developing frameworks for compute- and data-intensive applications, leveraging technologies like Kubernetes, OpenCL, and Intel Xeon Phi coprocessors. He has authored numerous peer-reviewed publications on topics such as pipeline patterns, autotuning algorithms, and hybrid execution models. His work bridges theoretical advancements in parallel computing with real-world software engineering challenges. Bajrovic has collaborated on projects funded by the European Commission’s FP7 program, contributing to deliverables like runtime systems, tuning frameworks, and benchmarking tools. His research also addresses the integration of big data processing with HPC, particularly in telecommunications and distributed computing environments.