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

Bernard Arpsمشاهده پروفایل

استاد

• Southeast Asian Studies
• Indonesian Language and Culture
• Javanese Language and Culture
• +۹ مورد دیگر

Bernard (Ben) Arps is Professor of Indonesian and Javanese Language and Culture at Leiden University's Institute for Area Studies within the Faculty of Humanities. His research focuses on the interface of humanities and humanistic social sciences, particularly examining how language, performance, texts, and media contribute to 'worldmaking' - the processes through which people and institutions shape realities for themselves and others. Geographically centered on Southeast Asia with a core focus on Indonesia and the Malay world, Arps specializes in Java and its diasporas. His scholarly interests include religious encounters (particularly between Islam and local vernacular traditions), philological theory as applied to performance and new media, narrativity in song and audio media, and the theoretical foundations of area studies. Arps has conducted extensive fieldwork in Indonesia since 1979, totaling over four years, primarily in Central and Eastern Java regions including Surakarta, Yogyakarta, Banyuwangi, and Cilacap. His current book projects explore the Quest narrative pattern across religious traditions (focusing on Dewa Ruci), the sociopolitical formation of languages through media and performance (using Osing in Banyuwangi as a case study), and the Asian Muslim epic of Amir Hamza. Arps teaches primarily in Leiden's BA programme in South and Southeast Asian Studies, BA in International Studies, and MA programme in Asian Studies. Former chair of the Department of Languages and Cultures of Southeast Asia and Oceania (1995, 1999/2000, 2003-2006, 2008) Previously taught at School of Oriental and African Studies, University of London (1988-1993) Held visiting positions at NIAS (2001/02), ANU (2005), University of Michigan (2006/07), NUS/ARI (2011/12), UNS (2017), and IIAS (2018/19) Arps has supervised doctoral, Master's, and Bachelor's dissertations across Indonesian, Malay, Singapore, Cambodian, and Thai studies, with particular expertise in Javanese, Sundanese, Betawi, Balinese, Sasak, Mentawai, and Minangkabau cultures and languages. His work spans religion, performance, media, literature, sociolinguistics, lexicography, and education.

Sarita V Adveمشاهده پروفایل

استاد

• Computer Architecture
• Extended Reality Systems
• Heterogeneous Computing
• +۴ مورد دیگر

Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.

• Affective Computing
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Dr A. I. Shihab is a Senior Lecturer at Kingston University's Faculty of Engineering, Computing and the Environment, Department of Networks and Digital Media. He teaches programming languages (C++/Java), data structures, web development, and AI/machine learning. His research focuses on affective computing and machine learning applications including: Acoustic event detection in sports environments Audio signal analysis for tennis match modeling Multi-camera visual surveillance systems Medical imaging analysis using fuzzy clustering techniques Publications demonstrate expertise in combining audio/video modalities for sports analytics (tennis rallies, court-shots) and developing Markov models for sound event sequence analysis. Contact: a.shihab@kingston.ac.uk

Fred B. Schneiderمشاهده پروفایل

استاد

• Trustworthy Systems
• Fault-Tolerant Distributed Systems
• System Security
• +۶ مورد دیگر

Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).

Michael R. Doveمشاهده پروفایل

استاد

• Environmental Anthropology
• Climate Change Anthropology
• Human Ecology
• +۷ مورد دیگر

Michael R. Dove is the Margaret K. Musser Professor of Social Ecology and Professor of Anthropology at Yale University, where he also serves as Curator of Anthropology at the Peabody Museum and Co-Coordinator of the Combined YSE/Anthropology Doctoral Program. With over forty years of research experience, his work focuses on environmental anthropology, particularly the environmental relations of local communities in South and Southeast Asia. Dove earned his B.A. from Northwestern University and his M.A. and Ph.D. from Stanford University. His academic journey has spanned decades of field research in Asia, including more than a dozen years conducting long-term studies on human ecology in Borneo and Java, developing government research capacity in Indonesia, and advising the Pakistan Forest Service on social forestry policies. Professor Dove's research interests encompass the anthropology of climate change, cultural and political aspects of natural hazards and disasters, indigenous environmental knowledge and practice, environmental institutions and movements, history of environment-related sciences, and multispecies ethnography. His work often examines how local environmental systems interact with national and global markets, politics, and ideologies, with a focus on problematizing orthodox approaches to conservation and development. He has made significant contributions to understanding human-environment relations through both theoretical frameworks and practical applications. Dove's recent scholarly output demonstrates a progression toward more integrated approaches to environmental challenges, blending historical perspectives with contemporary issues. His publications increasingly focus on the intersections of climate change, social justice, and indigenous knowledge systems, while maintaining his longstanding interest in Southeast Asian environmental relations. The work shows a growing emphasis on post-humanist approaches and multispecies ethnography, reflecting broader trends in environmental anthropology while maintaining his distinctive focus on political ecology and institutional analysis. As an educator, Professor Dove has supervised numerous doctoral and master's students, many of whom have gone on to win research awards and secure prestigious positions. He organizes separate research labs for doctoral students from Yale School of the Environment and other departments, as well as for joint YSE/Anthropology doctoral students. His advisees typically conduct international research and have excellent records of obtaining research support both within and beyond Yale. The Dove Lab at Yale School of the Environment serves as a hub for environmental anthropology research, focusing on topics including natural resource management, property rights, power struggles, household energy transitions, and human-wildlife interactions. The lab fosters a collaborative environment with 30-50 students working on related issues each year, characterized by supportive peer dynamics rather than competition. It also contributes to policy and social change through its research and the work of its alumni.

Tom Veldkampمشاهده پروفایل

استاد

• Quaternary Geology
• Geomorphology
• Soil Science
• +۴ مورد دیگر

Tom Veldkamp is a Professor and Rector Magnificus at the University of Twente. His research focuses on Quaternary geology, geomorphology, and coupled human-ecological systems. He has supervised 32 PhD theses and currently advises 2 ongoing projects. His fieldwork spans over 30 countries, including Indonesia, Turkey, and Rwanda. Editorial Roles: Editor-in-Chief of Agriculture Ecosystems and Environment , former editorial roles at Landscape Ecology , Ecosystems , and others. Research Themes: Land use change modeling, soil dynamics, and sustainable development. Key regions of study include Sundaland (Indonesia), Mediterranean landscapes, and Rwanda. Recent Contributions: Over 230 publications, including landmark studies on hominin fossils in Java and landscape evolution models. His work addresses global challenges like environmental sustainability and land-use transitions, with a focus on integrating natural and social sciences.

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

استاد

• Combinatorics
• Graph Theory
• Algebraic Geometry
• +۵ مورد دیگر

David Perkinson is a Professor of Mathematics at Reed College, where he holds a position in the Department of Mathematics. His research focuses on combinatorics, algebraic geometry, and discrete mathematics, with a particular emphasis on sandpile models, graph theory, and matroid theory. He is the author of the textbook *Divisors and Sandpiles: An Introduction to Chip-Firing*, which explores the combinatorial theory of chip-firing on graphs. Perkinson has also developed software tools like the Sandpile Java App, which visualizes and analyzes the Abelian Sandpile Model. He organizes the Cascade Lectures in Combinatorics (CALICO), a series of conferences funded by the National Science Foundation, aimed at fostering collaboration among researchers in combinatorics. His work bridges discrete mathematics with algebraic geometry, emphasizing connections between graph theory and geometric structures. Perkinson teaches advanced courses in analysis and contributes to the academic community through his research on topics such as divisor theory on graphs, sandpile groups, and combinatorial game theory. His recent publications (2015–2024) address matroid theory, sandpile dynamics, and applications of algebraic methods to discrete systems.

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

دانشیار مدعو

• Cyber-physical Systems
• Cybersecurity
• Software Verification
• +۳ مورد دیگر

Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.

Tobi Delbruckمشاهده پروفایل

استاد

• Neuromorphic Engineering
• Event-Based Vision Systems
• Silicon Retinas
• +۶ مورد دیگر

Tobi Delbruck is a titular professor of physics and electrical engineering at ETH Zurich, where he leads the Sensors Group at the Institute for Neuroinformatics (INI) in Zurich, Switzerland. He collaborates closely with Shih-Chii Liu and Giacomo Indiveri as part of the 'hardware groups' at INI. Delbruck has also served as visiting faculty at Caltech and is a Fellow of the IEEE. His work focuses on bio-inspired and neuromorphic event-based sensory processing systems. Professor Delbruck's research spans multiple areas of neuromorphic engineering, with particular emphasis on event-based vision systems and low-power analog VLSI circuits. His work has significantly advanced the field of Dynamic Vision Sensors (DVS), which mimic the human retina's response to changes in brightness rather than capturing full frames. This approach enables extremely low-latency vision processing with minimal power consumption, making it ideal for high-speed applications and robotics. His research has applications in robotics, autonomous systems, and low-power embedded vision. Delbruck is an active contributor to the neuromorphic engineering community, co-organizing the annual Telluride Workshop on Neuromorphic Engineering and serving in leadership roles with IEEE. He has authored numerous influential publications and co-authored books including "Event-Based Neuromorphic Systems" and "Analog VLSI: Circuits and Principles." His jAER (Java Address-Event Representation) project provides open-source tools for real-time event-based sensory processing. Analysis of his recent publications shows a clear trend toward integrating event-based vision with deep learning techniques and applying these systems to practical robotics problems. His scientific achievements have been recognized with multiple awards including: IEEE Fellow Winner of Best Live Demonstration award at ISCAS 2012 Honorable Mention Award from Sensory Systems Technical Committee at ISCAS 2012 Overall Best Student Paper Award and Best Paper Award from Sensory Systems Technical Committee at ISCAS 2010 Winner of the 2006 ISSCC Jan Van Vessem Outstanding European Paper Award Professor Delbruck actively mentors students and has supervised numerous PhD and Master's theses in the areas of neuromorphic engineering and event-based vision systems. His group has secured significant research funding from various sources to support their innovative work in bio-inspired sensory processing. He teaches courses on "Electronics for Physicists II (Digital)" and "Neuromorphic Engineering," helping to train the next generation of researchers in this field. The Sensors Group at INI, which Delbruck leads, operates state-of-the-art facilities for designing and testing neuromorphic vision systems. The group maintains close collaborations with researchers worldwide and has developed several important open-source resources including the jAER project and bias generator design kits. Their work continues to push the boundaries of what's possible with event-based sensory processing, with applications ranging from high-speed robotics to low-power embedded vision systems.

Tianyi Zhangمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.

• Cybersecurity and Privacy
• Data Management and Data Science
• Distributed Computing and Systems Software

Professor Jun Zhang is a leading academic in cybersecurity at Swinburne University, Australia, where he directs the Cybersecurity Lab. He has been honored as Australia's top cybersecurity researcher and instrumental in establishing Swinburne as a globally recognized cybersecurity research institution. His work includes high-impact papers and multi-million-dollar R&D projects, culminating in awards like the 2021 'Top Cybersecurity Research Institution' accolade. As course director of the Bachelor of Cyber Security, he pioneered an industry-driven teaching model with Deloitte and CSIRO, significantly boosting course enrollment. His collaborations extend to Adobe's Curriculum Innovation Program and the Australian P-TECH initiative, promoting STEM education and cybersecurity awareness. He supervises doctoral candidates and leads grants focused on AI-driven cybersecurity, smart home security, and blockchain-based edge computing. His research spans vulnerability detection, GAN forensics, IoT security, and privacy preservation in OSNs. Research interests include cybersecurity fundamentals, data science applications, and distributed systems. Notable achievements include the PTFix framework for Java vulnerabilities, the IoTFuzz smart home testing system, and CTI mining methodologies. Awards reflect his mid-career research excellence and industry partnerships. His grants with CSIRO and defense organizations emphasize real-world impact, addressing challenges from malware detection to adversarial machine learning. The Cybersecurity Lab and collaborative projects like Artchain demonstrate his commitment to bridging academia and industry. Professional activities include supervising over 20 HDR students and securing grants totaling millions. His work on blockchain-based edge storage (CSEdge) and SDCCP congestion control highlights innovation in networking. Future directions include advancing AI for design collaboration with CSIRO and enhancing privacy in smart energy technologies. His contributions span technical, educational, and community outreach domains, positioning him as a pivotal figure in cybersecurity's evolution.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

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

دانشیار

• Natural Language Processing
• Machine Learning
• Computational Social Science
• +۴ مورد دیگر

David Mimno is an Associate Professor and Chair of the Department of Information Science at Cornell University. He holds a PhD from the University of Massachusetts Amherst and previously worked at the Perseus Project and Princeton University. His research focuses on computational social science, natural language processing, and historical text analysis. Mimno is known for developing the MALLET toolkit, a widely used Java-based platform for machine learning in text processing. He teaches courses such as INFO 4940: How LLMs Work and INFO 6150/CS 6788: Advanced Topic Modeling. His work has been supported by the Sloan Foundation, NEH, and NSF. Mimno advises PhD students in Information Science and Computer Science, emphasizing interdisciplinary research at the intersection of computing and humanities/social sciences. He also contributes to initiatives like AI for Humanists, making large language models accessible for text-as-data research. Bachelor’s degree: Not explicitly stated in text PhD: University of Massachusetts Amherst Research Interests: Mimno explores large language models, topic modeling, cross-lingual semantics, and ethical AI applications in humanities and legal domains. His recent work addresses data curation practices for language models, LLM memorization of poetry, and generative AI’s societal impacts. He co-authored reports on generative AI in academic research and education. Grants & Collaborations: His projects include the Text as Data (TADA) conference and collaborations on generative AI law workshops. Mimno’s MALLET toolkit supports document classification, clustering, and topic modeling, with applications in cultural analytics and computational historiography.

Dawn A. Lottمشاهده پروفایل

استاد

• Nonlinear Partial Differential Equations
• Decision-Making Processes
• Operations Research
• +۵ مورد دیگر

Professor Dawn A. Lott holds the position of Professor of Applied Mathematics at Delaware State University. She obtained her Ph.D. in Engineering Sciences & Applied Mathematics from Northwestern University (1994), M.Sc. from Michigan State University (1989), and B.Sc. from Bucknell University (1987). Her postdoctoral training was at the University of Maryland (1997). Her research focuses on numerical and analytical studies of nonlinear partial differential equations modeling solid/fluid mechanics, biomechanics, and physiology. She also investigates decision-making processes using operations research and machine learning techniques. Key areas of expertise include computational methods, artificial intelligence, and algorithm design. Recent work emphasizes decision-making under uncertainty in IoT-enabled battlefield scenarios. Her publications explore MATLAB/Java comparisons for decision algorithms, graph-based reasoning systems, and SAGE-inspired optimization frameworks. Collaborations with researchers like Raglin and Metu highlight interdisciplinary approaches to military and operational challenges. No specific grants, awards, or student advisories are noted in the provided materials. Her contributions bridge applied mathematics with real-world applications in defense, healthcare, and computational systems.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.