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

Stéphane Baciocchiمشاهده پروفایل

پژوهشگر

• Social History
• Religious Sociology
• French Revolution
• +۶ مورد دیگر

Stéphane Baciocchi is a Researcher at the École des Hautes Études en Sciences Sociales (EHESS) , affiliated with the Centre for Historical Research (CRH) and its Laboratory of Demography and Social History (LaDéHiS) . He coordinates major projects including GeoHistoricalData , Structure and Dynamics of Forms , and the ANR TIME-US initiative on textile trade remuneration and time budgets in France (17th-20th centuries). His work bridges historical demography, religious sociology, and digital methodologies. Current Projects : GeoHistoricalData, Structure and Dynamics of Forms, ANR TIME-US Collectives : LaDéHiS, CRH Digital Collective, French Sociology Association Social Networks RT Committees : EHESS GIS Steering Committee, Labex HASTEC, Monitoring Unit against Sexual Harassment at EHESS His research interests focus on collective investigative practices , historical GIS, and relational data analysis across social sciences. He specializes in the sociology of the summer 1789 Grand'Peur , the history of social sciences (Le Play, Durkheim, Hertz), and digital editions of historical sources . Notably, he oversees the Prosopographic dictionary for students of the École Normale and the Cassini Roads and Cities Dataset . Baciocchi has taught seminars on relational data analysis (2003-2010), ethnography of religious facts (2005-2008), and history of investigative collectives (2007-present). He contributes to the Durkheimian Studies journal as associate editor and collaborates with the British Center for Durkheimian Studies at Oxford.

• Heterogeneous computing systems
• High-level synthesis (HLS)
• Hardware specialization for machine learning
• +۳ مورد دیگر

Zhiru Zhang is a Professor at Cornell University in the School of Electrical and Computer Engineering , leading research at the Computer Systems Laboratory . His work focuses on algorithms, methodologies, and design automation tools for heterogeneous computing systems. Recent publications emphasize high-level synthesis (HLS), hardware specialization for machine learning, and programming models for software-defined FPGAs. Education: Ph.D. in Computer Science, UCLA B.S. in Computer Science, Peking University M.S. in Computer Science, UCLA Research Interests: Heterogeneous computing systems High-level synthesis (HLS) optimization FPGA-based hardware acceleration Sparse data format compilers Machine learning for electronic design automation Scientific Awards: IEEE Fellow Intel Outstanding Researcher Award NSF CAREER Award DARPA Young Faculty Award Multiple Best Paper Awards at ASPLOS, ISPD, FPGA, AutoML, FCCM Research Group: Mentors 12 current students including Jordan Dotzel, Jie Liu, and Grace Dinh, with 14 alumni now at institutions like AWS AI, NVIDIA, Google DeepMind, and Microsoft. His lab develops tools like UniSparse for sparse format customization, presented at OOPSLA'24 and IEEE CAL.

• Digital Art
• Immersive Environments
• Extended Reality
• +۴ مورد دیگر

Ziui Chen Vance serves as Adjunct Faculty in the Design and Illustration department at Temple University's Tyler School of Art and Architecture, where she pioneers intersections of digital craft and immersive experience through screen-based environments. Her research practice merges motion tracking, virtual materiality, and visual narratives to create participatory digital spaces where human intuition and embodied virtual controls co-author dynamic interactions. This work explores profound connections between physical presence and constructed reality, transforming institutional and public spaces internationally through augmented reality installations and paintings that facilitate emotional and spatial transformation. Dr. Vance's contributions have earned significant recognition: Adolph and Esther Gottlieb Foundation Individual Support Grant Sustainable Arts Foundation Individual Award MacDowell Fellowship Independence Fellowship for creating the first American compilation of her works Her creations reside in permanent collections including The Newark Museum of Art and Michener Art Museum, while her ongoing research reimagines media applications for public and private sectors to cultivate novel experiential fields that push artistic expression boundaries.

Sandro Stuckiمشاهده پروفایل

مدرس

• Programming Languages
• Formal Methods
• Type Systems
• +۴ مورد دیگر

Sandro Stucki is a Lecturer in the Department of Computer Science and Engineering at Chalmers University of Technology. He has previously worked as an applied scientist at Amazon and as a postdoctoral researcher at Chalmers University of Technology and the University of Gothenburg. He completed his doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL under the supervision of Professor Martin Odersky. His research focuses on programming languages, with particular interest in formal methods, type systems and theory, and the semantics and implementation of domain-specific languages. He applies formal methods and type theory to problems in privacy and security, investigates type safety of Scala and related type systems, and develops type soundness proofs using Agda. His work also includes designing domain-specific languages for modeling probabilistic and stochastic systems, especially biochemical systems. He has contributed to the Scala ecosystem by developing a GNU/Emacs mode for Kappa, a modeling language for systems biology. His recent publications demonstrate strong expertise across programming language theory, formal verification, privacy-preserving systems, and applications in systems biology. His work bridges theoretical foundations with practical applications, particularly in the Scala programming language ecosystem. Stucki is actively involved in academic service, having served on program committees for numerous conferences including ECAI, GPCE, NWPT, and as a steering committee member for the Scala Symposium series. He has also organized several academic events, including the Scala Symposium 2016. He currently teaches courses on Data Science and AI, Fundamentals of Program Development, and Neuro-symbolic AI at Chalmers/Gothenburg University, and has previously taught courses on Parallel Functional Programming, Principles of Concurrent Programming, and Types and Programming Languages.

Dávid Szabóمشاهده پروفایل

دانشیار

• Sociolinguistics
• French Language and Literature
• Lexicography
• +۵ مورد دیگر

Dávid Szabó is a habilitated Associate Professor at the Institute of Romance Studies , Department of French Language and Literature , Eötvös Loránd University. His academic profile bridges sociolinguistics , focusing on argot and slang studies in French-Hungarian contexts, with computer graphics and C# software development . He has contributed to diverse fields, including AI in education , sustainable finance , and real-time graphics APIs . Research Highlights: His work explores the intersection of language evolution and technology, with recent publications on Green Finance , AI-driven educational tools , and parallel processing in graphics programming . He investigates linguistic taboos in Hungarian politics and translation challenges of urban French slang into Hungarian, while developing educational software like StudyHelper. Technical Contributions: Szabó has pioneered the integration of modern C# with graphics APIs (Vulkan, OpenGL) for real-time rendering , creating frameworks for multi-platform applications and shader program development . His technical papers emphasize code efficiency, API abstraction, and GPU optimization.

• Programming Languages
• Compiler Technology
• Reversible Computation
• +۵ مورد دیگر

Torben Ægidius Mogensen is an Associate Professor at the Department of Computer Science, University of Copenhagen, where he leads research in the Programming Languages and Theory of Computation section. His office is located at Universitetsparken 5, Copenhagen. His primary research focuses on: Automatic program analysis and transformation (especially partial evaluation and semi-inversion) Compiler technology for functional languages Domain-specific language design Reversible computing systems and languages Algorithms, complexity theory, and automata theory Applications in graphics and fractal generation His recent publications demonstrate a strong focus on reversible computation systems, including specialized programming languages like Hermes for encryption, reversible processor architectures, and functional programming extensions. His textbook publications on compiler design (2024) and programming language implementation (2022) indicate significant contributions to computer science education and foundational knowledge. He teaches courses on compilers, programming language technology, and game development, and maintains active research collaborations internationally. He is fluent in Danish and English, with working knowledge of German and Romanian.

Martin Eberleinمشاهده پروفایل

پژوهشگر

• Software Engineering
• Automated Software Testing
• Vulnerability Detection
• +۴ مورد دیگر

Martin Eberlein is a Doctoral Researcher and Ph.D. candidate in the Software Engineering group at Humboldt University of Berlin, Germany, working under Prof. Lars Grunske. Previously, he collaborated with Prof. Andreas Zeller's research group at CISPA Helmholtz Center for Information Security. His research focuses on automated software engineering, particularly software testing, vulnerability detection, and fuzzing. He is currently part of the EMPEROR project, which aims to automatically generate explanations for program behaviors, especially failures. Dr. Eberlein has developed notable tools including Avicenna (for explaining why programs fail) and EvoGFuzz (an evolutionary, grammar-based fuzzer). Education: 2022-Present: Dr. rer. nat. (PhD), Computer Science, Humboldt-Universität zu Berlin 2020-2022: Master of Science (M.Sc.), Computer Science, Humboldt-Universität zu Berlin (Final Grade: 1.0) 2015-2020: Bachelor of Science (B.Sc.), Computer Science, Humboldt-Universität zu Berlin (Final Grade: 1.3) His publications demonstrate innovative approaches to software testing and debugging, with emphasis on explaining program failures through machine learning. Recent work includes 'Which Inputs Trigger My Patch?' (APR'2025) and 'jAST' (FSE'2025), showing trends toward automated explanation of software behavior and program analysis tools. Scientific Awards: Black Shirt from HU-Berlin research group (2025) €900k initial funding for InputLab startup Dr. Eberlein serves on program committees for FSE 2025 (Artifact Evaluation Track) and ISSTA 2025 (Tools Demonstrations Track). He organizes and assists with teaching courses at HU Berlin, particularly in Software Engineering II and Compiler Construction. As co-founder of InputLab, he bridges academic research with practical applications in software testing for government and business formats. He maintains active research collaborations through GitHub, his blog, and participation in major software engineering conferences worldwide.

• Programming Languages
• Medical Informatics
• Compiler Construction
• +۲ مورد دیگر

Kim Völlinger serves as a Researcher at the Institute of Computer Science within the Faculty of Mathematics and Natural Sciences at Humboldt University of Berlin. Her role as a scientific collaborator focuses on two primary subject areas: the Grako parser generator framework and the SOAMED medical software project. Based at the Berlin-Adlershof campus (Rudower Chaussee 25), she contributes to both research initiatives and operational infrastructure through the Computer Operations Group while actively participating in the Women's advancement program and WiMi Initiative. Her research spans Programming Languages and Medical Informatics , with specialized expertise in compiler construction through the Grako project—a Python-based parser generator utilizing Parsing Expression Grammars (PEGs). In Medical Informatics, she develops software solutions for healthcare applications under the SOAMED initiative, demonstrating interdisciplinary integration of computer science principles in medical contexts. This dual focus reflects her commitment to advancing both foundational language processing technologies and practical health informatics systems. Völlinger's operational responsibilities include maintaining institutional technical infrastructure while supporting academic community development through gender equality initiatives. Her work bridges theoretical computer science research with real-world medical software implementation, positioning her at the intersection of language engineering and healthcare technology innovation within Humboldt University's research ecosystem.

Artur Izmaylovمشاهده پروفایل

استاد

• Quantum Dynamics
• Theoretical Chemistry
• Quantum Computing
• +۵ مورد دیگر

Artur Izmaylov is a Professor of Theoretical Chemistry at the University of Toronto with dual departmental appointments: the Department of Chemistry at the St. George campus and the Department of Physical and Environmental Sciences at the University of Toronto Scarborough (UTSC). He leads the Izmaylov Research Group and is affiliated with the Center for Quantum Information and Quantum Control. His offices are located at EV356 (UTSC) and LM420C (St. George), and he can be contacted at artur.izmaylov@utoronto.ca or via phone at 416-208-2951 (UTSC) / 416-946-8405 (St. George). Professor Izmaylov's research develops novel theoretical and computational approaches to quantum dynamics in complex systems. Key focus areas include: Quantum processes in organic photovoltaics, biomolecules, and catalytic surfaces Hybrid quantum-classical methodologies for subsystem-environment interactions Renormalization techniques for efficient quantum dynamics simulations Quantum computing applications for chemical problems and electronic structure Nonadiabatic dynamics near conical intersections and spin-charge transfer His recent publications (2023-2025) demonstrate strong emphasis on quantum algorithm development for chemical applications, particularly: Advancements in variational quantum eigensolver (VQE) methodologies Quantum resource optimization and error mitigation strategies Novel Hamiltonian decomposition techniques for efficient simulation Applications in molecular vibrations, electronic structure, and materials science Hybrid quantum-classical approaches for scalable computations The Izmaylov Research Group actively recruits graduate students and postdoctoral researchers, with opportunities through NSERC USRA, CQIQC, CHMD90/91, CHM499Y/PHY479Y courses, and Mitacs Globalink programs. Current research directions emphasize quantum computing implementations for chemical dynamics and surface interactions.

• Spanish Literature
• Hispanic Poetry
• Creative Writing
• +۴ مورد دیگر

Marta Lopez-Luaces is a Professor of Spanish and Latino Studies at Montclair State University's College of Humanities and Social Sciences. Previously, she served as the Inaugural Chair of the Department of Business and Administration at the University of Winnipeg (2009-2015), leading its growth to 15 full-time faculty and successful enrollment expansion. Her academic leadership emphasizes collaboration, innovation, and pedagogical excellence. She holds a BA and MA from Queens College and a PhD from New York University. Her research focuses on Spanish and Latin American poetry, translation studies, and 20th-century literary movements. Notable publications include Urbanización X (2024), Antología Poética (2017), and New Poetry from Spain (2013). She received the 2011 Administrative Sciences Association of Canada’s Research Excellence Award for institutional impact. Her academic philosophy prioritizes interdisciplinary approaches, creative writing, and empowering educational structures. She has designed curricula and mentored faculty across institutions, balancing administrative rigor with scholarly creativity.

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

استادیار

• Translation Studies
• Literature Studies
• Cultural Studies
• +۴ مورد دیگر

Rita Bueno Maia is an Assistant Professor at the School of Communication and Cultural Sciences (FCH-Católica) of Universidade Católica Portuguesa. She holds a PhD in Translation History and completed her postdoctoral research (2014–2016) at the University of Lisbon’s Centre for English Studies, focusing on 19th-century Portuguese exiles’ literary activities in Paris. Her research expertise centers on translation studies, particularly indirect translation, exilic literature, and the cultural dynamics of literary translation in global contexts. She teaches Spanish as a foreign language and modules on research methodologies in translation history. Her academic work explores topics such as the role of translation in constructing literary genres (e.g., the picaresque), the impact of exile on literary production, and the historical interplay between translation and censorship. Notable contributions include co-editing Indirect Translation: Theoretical, Methodological and Terminological Issues (2020) and Los límites del Hispanismo (2022). She actively engages in pedagogical projects like Translators for Ukraine , promoting social responsibility through translation education. Prof. Maia’s research extends to 19th-century Portuguese translation networks, including the activities of exiled absolutists in Paris and the role of periodicals in shaping literary geography. Her work bridges historical analysis with contemporary translation theory, emphasizing the cultural dimensions of textual transfer.

Mohammad Ammar Alsalkaمشاهده پروفایل

مدرس

• Compilers
• Programming Languages
• Natural Language Processing
• +۴ مورد دیگر

Dr. Mohammad Ammar Alsalka is a Lecturer in Computing at the School of Computer Science, University of Leeds, part of the Faculty of Engineering and Physical Sciences. His expertise spans compilers, programming languages, natural language processing, software engineering, and computer-aided design. He coordinates the MSc Projects and teaches courses such as Compiler Design and Construction, Web Services and Web Data, and Data Mining and Text Analytics. Research Interests: Dr. Alsalka focuses on advancing natural language processing techniques, compiler design, and software engineering methodologies. His work integrates computational models with practical applications in AI and simulation systems. He actively contributes to the Artificial Intelligence research group. Students: He supervises several postgraduate researchers specializing in AI and NLP, including Menwa Alshammerari and Shatha Altammami. His mentorship emphasizes bridging theoretical insights with real-world computational challenges. Affiliations: He holds professional memberships with the ACM, IEEE, and is a Fellow of the Higher Education Academy (FHEA). His role as MSc Projects Coordinator underscores his dedication to student development in advanced computing disciplines.

Nigel Wardمشاهده پروفایل

استاد

• Spoken Dialog Systems
• Prosody Modeling
• Human-Computer Interaction
• +۳ مورد دیگر

Nigel Ward is a Professor of Computer Science at the University of Texas at El Paso (UTEP). He holds a Ph.D. from the University of California, Berkeley (1991), and previously served on the faculty of the University of Tokyo for ten years before joining UTEP in 2002. His research focuses on the intersection of spoken language and human-computer interaction, particularly prosody's role in dialog systems, speech-to-speech translation, and cross-cultural communication. Ward has led NSF-funded projects, including the development of resources for conversational speech-to-speech translation research and contributions to the AI Institute for Transforming Education for Children with Speech and Language Challenges. He is a recipient of the Fulbright Research Fellowship and has authored books like Prosodic Patterns in English Conversation . Education: Ph.D. in Computer Science (UC Berkeley, 1991) Previous Affiliations: University of Tokyo (1992–2002), Visiting Professor at Kyoto University (2015–2016) Key Roles: Chair of Speech Prosody SIG (2018–2024), Co-creator of Prosody Tutorial series Research Interests: Prosody modeling, dialog systems, speech translation, and applications in education and assistive technologies. Current projects include quantifying prosody's role in trust-building with AI agents and improving speech-to-speech translation through cross-lingual prosody modeling. Featured Grants: NSF awards (e.g., $600,000 for resource suite development, 2024–2027). Collaborations include Olac Fuentes and Divette Marco.

Camil Stapsمشاهده پروفایل

پژوهشگر

• Linguistics
• Semantics
• Computational Linguistics
• +۳ مورد دیگر

Dr. Camil Staps is a Researcher in the research area 'Semantics & Pragmatics' at Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS Berlin). His research focuses on how abstract concepts like causation and evidentiality are represented in the mind, particularly studying the relation between spatial and non-spatial meanings of prepositions, demonstratives, and other function words. His educational background includes a PhD in Linguistics from Leiden University (2024), a Research MA in Hebrew and Aramaic Studies from Leiden University, and an MSc in Software Science from Radboud University Nijmegen. His research interests span computational linguistics, cognitive science, and formal semantics. Dr. Staps has received significant research funding including an NWO Rubicon Grant (2024-2026) and NWO PhDs in the Humanities Grant (2019-2024). His publications demonstrate a strong focus on formal semantics, Biblical Hebrew linguistics, and computational approaches to language analysis. He maintains several software projects including Məḇaqqēš (for Biblical Hebrew scholars), HebrewTools (educational tools), and Nitrile (a package manager for Clean programming language).

• Programming Languages
• Compilers
• E-learning
• +۳ مورد دیگر

Ciprian-Bogdan Chirila is an Associate Professor at the Faculty of Automation and Computers, University Politehnica Timisoara (UPT), within the Computers and Information Technology Department. He holds a Dr. Eng. degree and has served as Vice-Dean of the Faculty since 2016. His academic roles include teaching courses in compiler design, programming languages, and heuristic methods at both bachelor and master levels. Chirila’s research focuses on programming language mechanisms (especially reverse inheritance in statically typed OOP languages) and e-learning innovations such as Auto-Generative Learning Objects (AGLO). Education: PhD (cotutelle with University Nice Sophia-Antipolis, 2010), Master’s in Computer Science (UPT, 2002), and Engineer diploma (UPT, 2001). Research emphasizes bridging theoretical programming language constructs with practical educational applications. His notable projects include the RoNaQCI national quantum communication initiative and AGLO frameworks for adaptive learning. Awards include Microsoft’s recognition at Student Scientific Communications (2001) and third place in MecRob’98 robotics contest. Leadership roles include Senate membership at UPT and supervision of interdisciplinary teams. Active in curriculum development, he has designed automated systems for academic records and plagiarism detection, leveraging Java/SpringBoot frameworks.