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

Henning Hellerمشاهده پروفایل

پژوهشگر

• History of Mathematics
• Philosophy of Mathematics
• Mathematics Education
• +۴ مورد دیگر

Henning Heller is a Researcher (Post-Doc) in the Mathematics Education Group (Arbeitsgruppe Mathematikdidaktik) at the University of Bonn’s Mathematical Institute. His academic career includes a PhD in Philosophy from the University of Vienna (2017–2022) under Georg Schiemer, focusing on integrating history and philosophy of mathematics through his dissertation on modern algebra’s historiography. He also holds an M.Ed. from KU Leuven (2022–2023) and an M.A. in Logic and Philosophy of Mathematics from the University of Bristol (2015–2016). His research emphasizes the history and philosophy of mathematics, particularly 19th century algebraic developments like group theory and Felix Klein’s pedagogical innovations. Key research focuses include structuralist approaches in mathematics, Felix Klein’s educational reforms, and the didactic implications of historical mathematical concepts. He has conducted research stays at the Isaac Newton Institute for Mathematical Sciences in Cambridge (2025) and contributed to the ERC Starting Grant project "The Roots of Mathematical Structuralism" (2017–2022). His work bridges historical analysis with contemporary teaching practices, evident in publications like Felix Klein’s Foreign Students (2025) and analyses of Galois theory pedagogy. Research Interests: History of mathematics education, Felix Klein’s legacy, structuralist philosophy of mathematics, group theory historiography Teaching: Current courses include Rechen- und Argumentationstechniken and supervising student research projects on geometric analogies and historical textbooks His awards include the 2023 Dissertationspreis from the Faculty of Philosophy and Education, and he has received multiple stipends including the Friedrich-Ebert-Stiftung grant (2012–2016). He actively participates in international conferences, presenting on topics ranging from quotient group emergence to Klein’s transnational academic networks.

Zhaohui Luoمشاهده پروفایل

استاد

• Logic
• Type Theory
• Proof Theory
• +۸ مورد دیگر

Zhaohui Luo is a Professor of Computer Science at the Royal Holloway, University of London , affiliated with the Department of Computer Science . His research lies at the intersection of logic, type theory, and formal semantics, with applications in programming languages and software verification. Institution: Royal Holloway, University of London Department: Department of Computer Science Role: Professor of Computer Science His primary research interests include: Type theory and proof theory Computer-assisted formal reasoning and proof assistants (Agda, Coq, Lego, Plastic) Formal semantics in modern type theories Specification languages and formal methods in software engineering Linguistic and programming language semantics Although no specific publications are listed in the provided texts, his involvement in numerous workshops, summer schools, and conferences—such as TYPES , ESSLLI , and WoLLIC —demonstrates a sustained research trajectory focused on foundational aspects of computation and language. He has delivered advanced courses on formal semantics using type theory, indicating deep expertise and knowledge dissemination in the field. Zhaohui Luo is actively involved in major research initiatives, including: Leverhulme Trust grant on formal semantics in modern type theories HoTT-based Computer-Assisted Reasoning (Royal Academy of Engineering) EU COST Actions: EuroProofNet and EUTypes He has mentored students and advised PhD candidates, though specific names are not listed. His leadership in organizing academic events and contributing to collaborative research networks underscores his role as a central figure in the formal methods and type theory communities.

Andrew Myersمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Distributed Systems
• +۳ مورد دیگر

Andrew Myers is a Professor in the Department of Computer Science at Cornell University, specializing in programming languages, computer security, and distributed systems. He serves as the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS) and has chaired major conferences including ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009. Myers' research focuses on the intersection of programming languages and security, particularly in developing language-based approaches to ensure security properties in distributed systems. His pioneering work in information flow control has established foundational techniques for tracking and controlling how sensitive information propagates through programs. He has made significant contributions to secure compilation, type systems that enforce security policies, and programming models for geographically distributed applications where consistency and security are critical concerns. Analysis of Myers' publication record reveals a consistent research trajectory centered on using programming language techniques to address security challenges. His early work established fundamental approaches to information flow security, which evolved into practical systems like Jif (Java information flow) and more recently Viaduct for secure distributed programming. Recent publications show increasing focus on secure distributed programming, information flow control in complex systems, and type systems that enable secure concurrency without sacrificing performance. ACM Fellow POPL'99 Best Paper Award SOSP'01 Best Paper Award SOSP'07 Best Paper Award CIDR'13 Best Paper Award PLDI'13 Best Paper Award PLDI'15 Best Paper Award Through the Programming Languages Mentoring Workshop (PLMW) at major conferences including POPL and PLDI, Myers has been actively involved in mentoring the next generation of programming languages researchers. His service as Editor-in-Chief of TOPLAS demonstrates his leadership in the field, overseeing the publication of cutting-edge research in programming languages and systems. While specific grant information isn't detailed in the provided text, his sustained research output and leadership roles suggest significant external funding support over his career. Though specific lab affiliations aren't mentioned in the provided text, Myers' research has clearly involved collaboration with numerous students and colleagues across multiple institutions. His work on systems like Viaduct and Jif suggests the leadership of research teams focused on building practical implementations of language-based security techniques. His active participation in conference organization and program committees indicates strong connections with the broader programming languages and security research communities.

Zachary Tatlockمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Compiler Optimization
• +۵ مورد دیگر

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington. He leads the UW PLSE research group and focuses on making programming languages and compilers more accessible through formal verification and practical tool development. Current affiliations: University of Washington (Paul G. Allen School) Academic rank: Associate Professor His research spans programming languages, compiler optimization, and formal verification, with recent work on: E-Graphs and equality saturation for program synthesis Floating-point error analysis and accuracy optimization Accessible web layout verification using formal logic Hardware-software co-design for compiler generation His recent publications demonstrate expertise in both theoretical foundations (congruence closure proofs, anti-unification) and practical implementations (Odyssey tool for FP rewriting, Titanic framework for number systems analysis). Collaborations span institutions like Adobe and involve rigorous formal verification in Coq and CakeML.

Arjun Guhaمشاهده پروفایل

دانشیار

• Programming Languages
• Program Synthesis
• Low-Resource Programming Languages
• +۳ مورد دیگر

Arjun Guha is an Associate Professor of Computer Science at Northeastern University's Khoury College of Computer Sciences, where he also serves as Area Chair for Software. Additionally, he holds a Visiting Professor position at Roblox Research. His work spans programming languages, program synthesis, and the intersection of large language models with computer science education. Guha's research primarily focuses on two areas: program synthesis for "low-resource" programming languages (those not widely supported by existing AI code generation tools but widely used in specialized fields like scientific computing), and understanding how large language models impact computer science education. His work has led to significant contributions in benchmarking neural code generation across multiple languages and examining how students interact with AI-generated code. He is particularly interested in knowledge transfer between high-resource and low-resource programming languages for code LLMs. Guha's recent publications show a strong trend toward examining the practical applications and limitations of large language models in programming contexts. His work spans from developing benchmarks like MultiPL-E for cross-language code generation evaluation to studying how beginners understand and interact with AI-generated code. There's a clear emphasis on making code generation more accessible for specialized domains and understanding the educational implications of these technologies. Guha actively mentors students at all levels, leading a research group within Northeastern's Programming Research Laboratory. His current advisees include several PhD students and postdocs working on topics related to code LLMs, program synthesis, and computer science education. His research has been generously supported by the National Science Foundation, Department of Energy, Office of Naval Research, and industry partners including Google, JPMorgan Chase, MathWorks, Meta, Oracle, and Roblox. Guha is an active contributor to the programming languages research community, serving on program committees for major conferences including PLDI, POPL, SPLASH, and OOPSLA. He has chaired workshops and sessions at these conferences and continues to be an influential voice in the programming languages community.

Joost-Pieter Katoenمشاهده پروفایل

استاد

• Probabilistic Programming
• Model Checking
• Formal Verification
• +۴ مورد دیگر

Joost-Pieter Katoen is a full professor at RWTH Aachen University in Germany where he leads the Software Modeling and Verification (MOVES) group. Since 2013, he holds a distinguished professorship at RWTH Aachen University and is a member of the Academia Europaea. He also maintains a part-time association with the Formal Methods & Tools group at the University of Twente in the Netherlands. Professor Katoen's research primarily focuses on probabilistic programming, model checking, and formal verification. His work spans theoretical foundations of probabilistic systems, deductive verification techniques for probabilistic programs, and practical applications in software verification. He has made significant contributions to the development of algorithms for analyzing probabilistic models, including Markov chains and probabilistic automata. His research bridges theoretical computer science with practical verification challenges, particularly in the context of probabilistic systems. His recent publications reveal a strong focus on advancing probabilistic programming verification, with particular emphasis on generating functions, expected runtimes, and probabilistic bisimulation. The research trends show increasing sophistication in handling continuous distributions, parameter synthesis, and multi-objective verification problems. His work consistently appears in top-tier conferences including POPL, PLDI, SPLASH, and CAV. Scientific Awards and Recognition: Distinguished Professorship at RWTH Aachen University (since 2013) Member of Academia Europaea Professor Katoen has supervised numerous PhD students whose work spans various aspects of formal methods and probabilistic systems. His MOVES research group develops several verification tools including PROPHESY, PRINSYS, COMPASS, MRMC, and SMYLE. His editorial service includes membership on steering committees for major conferences such as CONCUR and ETAPS (where he serves as chair), and editorial boards for journals including STTT and PeerJ Computer Science.

• Formal Verification
• Probabilistic Programs
• Hybrid Systems

Shenghua Feng is a Researcher affiliated with the Institute of Software at Chinese Academy of Sciences and the University of Chinese Academy of Sciences in China. His work focuses on advancing formal methods in computational systems. Research Interests: Feng specializes in: Formal Verification: Ensuring system correctness through mathematical models. Probabilistic Programs: Analyzing stochastic computational processes. Hybrid Systems: Studying interactions between discrete and continuous dynamics. Publication Trends: His 2023 work establishes theoretical foundations for probabilistic program divergence, contributing to programming languages and formal verification. Research consistently intersects theoretical computer science and practical system analysis.

Véronique Benzakenمشاهده پروفایل

استاد

• Data-Centric Programming Languages
• Formal Verification of Data Management Systems
• XML/JSON Data Processing
• +۳ مورد دیگر

Véronique Benzaken is a Full Professor at Université Paris-Saclay, affiliated with the Laboratoire de Méthodes Formelles (LRI) and INRIA Saclay's Toccata group. Her research focuses on Data-Centric Programming Languages , formal verification of data management systems, and type-safe XML/JSON processing. Key projects: ℂDuce XML-centric functional language, Datacert data certification initiative Collaboration with Oracle Labs on multi-lingual query interfaces using QIR Active in Coq formalization of SQL, Datalog, and data provenance Research interests include: Formal foundations for NoSQL/BigData languages Coq-based verification of database systems Type systems for data models Cloud computing data abstraction Her work bridges theory and practical implementation through collaborations with both academic and industrial partners.

Mira Meziniمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Distributed Systems
• +۳ مورد دیگر

Mira Mezini is a Professor of Computer Science at Technical University of Darmstadt (TU Darmstadt), Germany. She leads the Software Technology Lab and is co-spokesperson for the Excellence Cluster Reasonable Artificial Intelligence . Mezini serves on the board of the National Research Center for Applied Cybersecurity ATHENE and co-directs hessian.AI, the Hessian Center for Artificial Intelligence. Her academic leadership includes past roles as Dean of Computer Science (2013-2014) and Vice President of TU Darmstadt (2014-2019). PhD in Computer Science, University of Siegen Assistant Professor, Northeastern University (USA) Visiting Professorships: Lancaster University (UK), Università della Svizzera Italiana (Switzerland) Research Interests : Mezini develops programming systems for reliable distributed software and AI, focusing on large-scale module concepts, adaptability, and extensibility. She creates intelligent software development environments leveraging web-based resources to automate programming rules and patterns. Her work spans automated API misuse detection , session types , and foundational code models . Scientific Contributions : Mezini has (co)authored over 200 peer-reviewed publications, including 15 recent representative works on: Modular multi-language analysis (2024) Secure distributed programming models (2023-2024) Effect systems for concurrency (2023) Reactive programming frameworks (2018-2024) Formal verification of cryptographic APIs (2018) Core languages for cloud computing (2016) ACM Fellow ERC Advanced Grant (2012) AITO Dahl-Nygaard Senior Prize (2025) Horst Görtz IT Security Award (2014, second prize) IBM Eclipse Innovation Awards (2005, 2006) Google Research Award (2017) Leadership : Mezini has chaired major conferences (OOPSLA, ECOOP, ICSE) and served on panels including the European Research Council Consolidator Grant, ACM SIGPLAN Executive Committee, and DFG Senate. She mentors through the SIGPLAN long-term program and contributes to DEI initiatives at conferences like SPLASH. Labs & Collaborations : Leads the Software Technology Lab at TU Darmstadt. Collaborates with institutions including EPFL (session types), ETH Zurich (language design), and Carnegie Mellon University (code analysis). Her teams focus on decentralized systems, API security, and programming language foundations.

Joseph M. Hellersteinمشاهده پروفایل

استاد

• Databases
• Distributed Systems
• Programming Languages
• +۳ مورد دیگر

Joseph M. Hellerstein is the Jim Gray Professor of Computer Science at the University of California, Berkeley, within the College of Engineering. His research spans databases, distributed systems, and programming languages, with a focus on data-centric systems. He actively bridges academia and industry as co-founder of startups like Aqueduct and Trifacta, Faculty Fellow at Sutter Hill Ventures, and former Director of Intel Research, Berkeley. Research Interests: His work addresses foundational challenges in data systems, including cloud programming models, distributed dataflow frameworks, and verified synthesis of coordination mechanisms. He integrates human-computer interaction, AI systems, and security into data-centric computing paradigms. Selected Publications (2021-2025): These span choreographic programming for distributed dataflow, equality saturation techniques, CRDT synthesis, and declarative cloud models. Keywords include distributed systems, formal verification, Rust, and compiler design. Scientific Awards: ACM SIGMOD Codd Innovations Award ACM Fellow Sloan Fellowship Six Test of Time Awards Advising: He oversees graduate students in the Berkeley Data Systems group, including Nithin Chalapathi, Audrey Cheng, David Chu, and Zongheng Yang. His team collaborates with labs such as EPIC, Sky, and Slice at UC Berkeley.

Will Crichtonمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Type Systems
• +۴ مورد دیگر

Will Crichton is an Assistant Professor of Computer Science at Brown University. His research bridges programming language theory and cognitive psychology to improve developer experience, particularly in Rust and type systems. He has developed tools like Flowistry (Rust IDE plugin) and Argus (trait error debugger) used by over 100,000 developers. Education: PhD from Stanford University (2022), advised by Pat Hanrahan and Maneesh Agrawala Prior Roles: Postdoctoral researcher with Shriram Krishnamurthi at Brown University His research focuses on: Type Systems: Creating usable type-level programming frameworks like Tyrade Rust Ecosystem: Ownership models, trait error debugging, and learning tools Human Factors: Applying cognitive psychology to programming language design Key contributions include: Interactive visualizations for Rust (AquaScope) Scientific programming workshops and educational materials Foundational work on security type systems and session types in Rust

Heike Joebgesمشاهده پروفایل

استاد

• Financial Economics
• International Economics
• Macroeconomics
• +۳ مورد دیگر

Prof. Dr. Heike Joebges is a Professor for International Economics at Berlin University of Applied Sciences (HTW Berlin) since 2010. Her research focuses on financial systems, economic development, financial market stability, and the impacts of international trade and capital movements on national economies. She leads the cooperative doctoral program EQUALFIN (Finance and Inequality in Times of Polycrisis) between FU Berlin and HTW Berlin and serves as spokesperson for the international research network 'Forum for Macroeconomics and Macroeconomic Policies.' Her teaching includes English-language courses in International Economics, Macroeconomics and Development, Central Banking, and Financial System Development at the MA MIDE level, as well as German-language courses in International Economic Relations, Macroeconomics, and economics-digitalization at BA BWP and MA MEWP levels. Focus: Financial System and Economic Development Research Cluster: Money, Finance, Trade, and Development Scientific awards and honors include: Fox International Research Fellow (2000/2001) She holds key roles in advisory boards such as the Scientific Advisory Board of the Hans Böckler Foundation (since 2017) and the SPD's Scientific Advisory Board.

Kristina Götzمشاهده پروفایل

پژوهشگر

• Cognitive Developmental Psychology
• Reading and Spelling Disorders
• Number Processing and Arithmetic Disorders
• +۵ مورد دیگر

Kristina Götz is a researcher in the Department of Educational Psychology at the Weingarten University of Education . Since 2012, she has worked as an academic assistant, focusing on cognitive developmental psychology, reading and spelling disorders, and multilingualism. Her research includes projects like the Multilingual Reading Theatre (MELT) and SPELL-IT, with a particular emphasis on educational interventions for children with developmental challenges. Education: BSc(Hons) in Psychology (University of Glasgow, 1999), PhD (University of York, 2003) Research Priorities: Reading disorders, arithmetic disorders, language acquisition, animal-assisted interventions, self-efficacy, and resilience Her work examines how oral language and phonology interventions impact literacy development, particularly in children with Down syndrome. She has also explored the effectiveness of multilingual reading theatre as an educational tool. Notable trends in her research include: (1) longitudinal studies on reading development, (2) cross-linguistic comparisons, and (3) interdisciplinary approaches combining psychology and educational practice. She has collaborated with distinguished scholars such as Prof. Margaret Snowling and Prof. Charles Hulme, contributing to projects focused on early literacy support and phoneme awareness training.

• Information Science
• Natural Language Processing
• Lexicography
• +۳ مورد دیگر

Professor Ulrich Heid is a faculty member at the Institute for Information Science and Language Technology (IwiSt) at the University of Hildesheim, where he serves as a Professor in the Department of Information Science and Natural Language Processing within the Department of Linguistics and Information Sciences (FB3). Professor Heid's research spans multiple areas of information science with a particular focus on natural language processing, lexicography, and language technology. His work bridges theoretical foundations with practical applications in digital humanities and educational contexts. He has made significant contributions to computational linguistics, particularly in dictionary development, language resource creation, and the application of NLP techniques to educational settings. His research often involves international collaborations across European institutions. His recent publications demonstrate a strong interest in the intersection of mathematics education and lexicography, as well as the preservation of linguistic heritage through digital means. His work on digitizing historical dictionaries shows commitment to preserving cultural knowledge while making it accessible through modern technology. Professor Heid's research consistently addresses practical applications of language technology while maintaining strong theoretical foundations. Member of the Examination Board for Master's Program IIM-IW Member of the Admissions Committee for Master's Program IIM-IW Member of the Examination Board for International Technical Communication (SuT) Member of the Committee for Student Scholarships (FB3) Reserve Delegate for Examination Boards of BA International Information Management and Master's Program IIM-SWIKK Reserve Delegate for Doctoral Committee FB3 (Dr. phil.) Professor Heid has supervised several doctoral students to completion, including Noushin Fadaei (who researched 'Interactive Trend Detection' using patent descriptions), Lea Wöbbekind (who studied 'Construction and Validation of Measurement Instruments for User Experience Research with Children and Adolescents'), and Theresa Kruse (who developed and evaluated an electronic dictionary for graph theory for teacher training students). He actively participates in the European Master in Lexicography (EMLEX) program and collaborates with international institutions on lexicographic projects. He is deeply involved in organizing major academic events, including serving as program committee chair for KONVENS 2025 (Conference on Natural Language Processing), contributing to EURALEX conferences, and participating in summer schools such as ESSISGEN 2025 in Barcelona. His office is located in room LN 130 at the New Bühler Campus building, with consultation hours on Tuesdays from 4:15-5:45 p.m. by appointment.

• Translation Studies
• Corpus Linguistics
• Machine Translation
• +۵ مورد دیگر

Professor Ekaterina Lapshinova-Koltunski serves as Full Professor (W3) in Multilingual Technical Specialized Communication at the University of Hildesheim since October 2022. She is affiliated with the Institute for Translation Studies & Specialized Communication within Department 3: Linguistics and Information Sciences. Previously, she held positions as Akademische Oberrätin (equivalent to Associate Professor) at Saarland University (2017-2022) and served as Interim Professor at the University of Hildesheim (2020-2021). Her educational background includes: Habilitation in Linguistics, Translation Studies and Corpus Linguistics (2016) from Saarland University PhD in Computational Linguistics (2011) from University of Stuttgart Postgraduate studies in Language Data Processing (2003-2006) from Georg August University of Göttingen Diploma in Translation, Interpreting and Intercultural Communication (1997-2002) from Volgograd State University Professor Lapshinova-Koltunski's research focuses on the intersection of translation studies, corpus linguistics, and artificial intelligence, with particular emphasis on machine translation, plain language communication, and multilingual technical communication. Her work bridges theoretical linguistics with practical applications in healthcare communication, accessibility, and translation technology. She has made significant contributions to understanding cohesion and coherence in translation, cross-linguistic variation, and the cognitive aspects of translation processes. Her recent publications (2024-2025) demonstrate a strong shift toward AI applications in translation, particularly in health communication and plain language translation. These works examine how large language models can support the creation of accessible medical information, analyze gender representation in machine translation, and develop practical frameworks for integrating AI tools into editorial workflows. Her research shows increasing focus on practical applications of translation technology to address real-world communication challenges, especially in healthcare contexts. She actively serves as a reviewer for major funding organizations including DFG and Research Foundation – Flanders, and for numerous prestigious journals and conferences in computational linguistics and translation studies. Her current grant portfolio includes: Project B7 'Translation as Rational Communication' in SFB1102 (2022-2026) 'AI-supported health communication in Plain language' funded by the Ministry of Science and Culture of Lower Saxony (May 2024-August 2025) 'Use of AI tools in intralingual translation of health communication' with Wort & Bild Verlag (October 2023-April 2024) 'Data triangulation in translation process research' startup grant from University of Hildesheim (August 2023-January 2024) Professor Lapshinova-Koltunski holds multiple administrative roles including membership in various examination committees for master's programs in International Communication and Translation, Barrier-free Communication, and Technical Communication, as well as serving on the Faculty Council and Research Committee for Department 3.