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

Alceste Scalasمشاهده پروفایل

دانشیار

• Formal Methods
• Programming Languages
• Multiparty Session Types
• +۵ مورد دیگر

Alceste Scalas is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research focuses on formal methods in concurrency, multiparty session types, distributed systems, and programming language theory. Scalas leads the Software Systems Engineering group and actively supervises PhD students in areas such as secure distributed systems and formal verification of communication protocols. His work integrates theoretical contributions (e.g., process algebra formalisms, Petri net encodings) with practical applications like verified network APIs and automated test synthesis for RESTful systems. Recent projects include COTS (OpenAPI test synthesis) and P4R-Type (verified P4 control plane tools). Scalas' research has been applied to secure cloud-edge systems (TaRDIS project), hybrid verification methodologies, and SDN protocol validation. He co-develops tools like Effpi for verified message-passing programs and PSTMonitor for session-type monitoring. He supervises PhD candidates working on secure distributed applications, formal methods in blockchain (Algorand smart contracts), and concurrency patterns in actor systems. His work bridges theoretical computer science with real-world system verification challenges.

Jacques NOYÉمشاهده پروفایل

پژوهشگر

• Software Engineering
• Aspect-Oriented Programming
• Modular Programming
• +۳ مورد دیگر

Jacques NOYÉ is a Researcher at IMT Atlantique (Nantes campus), part of the Computer Sciences department within the DI2S school. His work focuses on software engineering, aspect-oriented programming, modular systems, and domain-specific languages. He has contributed to research on cloud computing, industrial software systems, and JavaScript module design. Key research areas include: modular instrumentation for interpreters, event-driven coordination models, and integration of object-oriented, aspect-oriented, and event-based programming paradigms. He co-created tools like EScala and ECaesarJ for modular software development. His publications reflect expertise in language design, software modularity, and security. He has organized workshops (e.g., DSAL, LaMOD) and contributed to international conferences. No awards or grants explicitly listed in the text.

• Computer Science
• Artificial Intelligence
• Data Science
• +۵ مورد دیگر

Antonio Momblán Jiménez is an Adjunct Professor of Computer Science and Artificial Intelligence at IE University (since 2021), Adjunct Professor of Big Data and IA at IMF (2021), and Adjunct Professor of Data Science and Digital Transformation at CUNEF (2019). He has 18+ years of professional experience in software engineering and data engineering roles. His corporate roles include Lead Software Engineer at Swissblock Technologies (2022–present), CTO at MyDataMood (2020–2022), and Engineering Manager at Cabify (2019–2020), where he built data and machine learning infrastructures. His academic background includes a Master’s in Computer Science from Universidad Pontificia de Salamanca and Växjö University (2005) and a Bachelor’s in Computer Science from Universidad Pontificia de Salamanca (2003). He specializes in software development, data engineering, and AI, with expertise in programming languages like C++, Python, Golang, Ruby, Java, and Scala. Antonio’s research and professional interests span data-driven decision-making, machine learning applications, and digital transformation. He also pursues hobbies in electronics and domotics, such as building a Raspberry Pi-controlled heating system.

Lionel Parreauxمشاهده پروفایل

استادیار

• Programming Languages
• Type Systems
• Functional Programming
• +۳ مورد دیگر

Lionel Parreaux is an Assistant Professor at The Hong Kong University of Science and Technology (HKUST) in the Department of Computer Science and Engineering since February 2021. He is actively recruiting students for his research group focusing on programming languages, type systems, and compiler optimization. He earned his PhD in 2020 from École polytechnique fédérale de Lausanne (EPFL) under the Data Analysis Theory and Applications Laboratory (DATA), where he developed the Squid type-safe metaprogramming library for Scala. His research spans Programming Languages Type Systems Functional Programming Generative Programming Compiler Optimization Language Design Recent publications (2024) cover type inference, metaprogramming, and compiler optimization. Notable works include Scope-safe metaprogramming Deforestation techniques Conditional syntax design Subtyping constraints Lazy memory management These reflect his focus on theoretical and practical language implementation challenges. Current research projects include "A Lightweight Type System for Scope and Effect Safety" (2024, Huawei Technologies) "Optimizing Functional Programs by Building on Optimal Graph Reduction Techniques" (2022-2025, RGC Early Career Scheme) He supervises 8 PhD/MPhil students and serves on program committees for POPL, APLAS, GPCE, and SPLASH symposia.

Sukyoung Ryuمشاهده پروفایل

استاد

• Programming Languages
• Static Program Analysis
• WebAssembly
• +۳ مورد دیگر

Sukyoung Ryu is a Professor at KAIST, focusing on programming languages and static program analysis. Her work spans JavaScript analysis, WebAssembly, Rust translation frameworks, and language specification verification. Education : Not explicitly mentioned Research Focus : Programming languages, static analysis, JavaScript, WebAssembly, Rust, Android hybrid apps, type systems Conference Roles : Co-chair (OOPSLA Review Committee, New Faculty Symposium), Committee Member (ICFP, ECOOP, ASE, PLDI, ICSE), Session Chair (SCAM, Type Systems, Keynotes) Keynote Talks : PLDI 2021, ICFP 2020, Scala 2019 Tool Development : SAFE framework, SpecTec, Wasm-R3, HybriDroid, WALA extensions Her recent publications focus on WebAssembly benchmarks, language specification verification, and memory/concurrency safety in cross-language translation. She contributes to open-source analysis tools and standards development. As a committee member and session chair for conferences like PLDI, ICFP, and SPLASH, she actively shapes research directions in programming language design and analysis. Her lab at KAIST develops tools like SpecTec for mechanized language specifications.

• Distributed Systems
• Erlang Programming Language
• Scalability Engineering
• +۴ مورد دیگر

Natalia Chechina is an Honorary Research Fellow at the School of Computing Science, University of Glasgow, specializing in distributed systems with a particular focus on the Erlang programming language and its applications in building reliable and scalable systems. Her research interests span several critical areas in distributed computing: Distributed systems architecture and design Scalability and reliability engineering Erlang ecosystem development Robotics communication systems Server software engineering Performance optimization in distributed environments Dr. Chechina's extensive publication record from 2009-2021 demonstrates consistent contributions to advancing distributed computing capabilities, particularly through her work on SD Erlang (Scalable Distributed Erlang). Her research bridges theoretical analysis with practical implementation, addressing fundamental challenges in building systems that maintain functionality despite failures. She has made significant contributions to understanding how to construct robust server infrastructure that can scale effectively while preserving reliability across diverse application domains. Her collaborative work, frequently with Phil Trinder and other colleagues at the University of Glasgow, spans robotics, instant messaging systems, and general server infrastructure. The cross-disciplinary nature of her research is evident in publications addressing robot team coordination and communication, demonstrating how distributed systems principles can solve complex challenges in multiple domains.

Nada Aminمشاهده پروفایل

استادیار

• Programming Languages
• Artificial Intelligence
• Neuro-Symbolic Systems
• +۵ مورد دیگر

Nada Amin is an Assistant Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS). She leads the metareflection lab, focusing on neuro-symbolic programming, program synthesis, and meta-programming techniques. Her research combines programming languages (PL) with AI, particularly leveraging LLMs for verified program and proof synthesis. Education: PhD from EPFL (2016), MEng and BS from MIT (2008). Previous roles include University Lecturer at the University of Cambridge (2017–2019) and software engineering at Google (2009–2011). Awards include Distinguished Paper Awards at PLDI 2023 and an Outstanding Paper Award at NeurIPS’24. Research interests span neuro-symbolic systems, meta-programming, probabilistic reasoning, and precision medicine applications. Current projects include VerMCTS, Persimmon, and collapsing towers for secure compilation. She teaches courses like CS152 (Programming Languages) and CS252R (Advanced PL Seminars). Labs/Teams: Harvard PL Group; Metareflection Lab. Collaborates widely on PL+AI, drug repurposing for medicine, and multi-stage relational programming. Supervises ~40 researchers including PhD students, postdocs, and undergraduates.

Konstantin Läuferمشاهده پروفایل

استاد

• Computer Science
• Programming Languages
• Software Architecture
• +۷ مورد دیگر

Konstantin Läufer is a Professor of Computer Science at Loyola University Chicago, where he has held roles including Department Chairperson (2012–2018) and Associate Dean (2005–2006). He co-directs the Emerging Technologies Laboratory (ETL), focusing on experimental research in programming languages, distributed systems, and environmental science applications. His academic journey includes a PhD from New York University's Courant Institute (1992) and prior roles at institutions like Bell Laboratories and the University of Chicago. Education: PhD in Computer Science, New York University (1992) MS in Computer Science, New York University (1989) Studies at the University of Konstanz (Germany) and Rutgers University (USA) Research Interests: Programming languages and functional/reactive paradigms Mobile and pervasive computing, IoT Software quality metrics and digital humanities Environmental science applications Recent articles emphasize integrating large language models (LLMs) for software optimization (e.g., SysLLMatic ), formal methods education via TLA+, and energy-efficient code development. Grants and Awards: 2009 Faculty Fellowship from Loyola's Institute of Environmental Sustainability NSF grants for projects like IMPACTS (2008–2011) and PDC curriculum initiatives Advising and Labs: Supervised student projects in distributed systems, bioinformatics, and filesystem frameworks (e.g., RestFS). Co-directs ETL, which explores experimental technologies like NOFS and OLFS filesystems.

Lisa Lacherمشاهده پروفایل

دانشیار

• Computer Science Education
• Software Engineering
• eLearning Technologies
• +۳ مورد دیگر

Lisa Lacher is an Associate Professor of Information Technology and Program Director in the College of Science and Engineering at the University of Houston-Clear Lake. She specializes in computer science education, software engineering team dynamics, and innovative eLearning strategies. Her work emphasizes curriculum development using Scala, social sensitivity in collaborative environments, and leveraging modern tools like Discord for academic teamwork. Research interests include programming pedagogy, team collaboration metrics, and the integration of gaming technologies into higher education. She has explored topics such as eSports' impact on academic engagement, flipped classroom methodologies, and the role of philosophical belief systems in instructor effectiveness. Her publications since 2016 demonstrate a focus on improving technical education through empirical studies of teaching practices, team performance, and communication technologies. Notable themes include multithreading education, non-technical skills measurement in software teams, and the application of actor models in curricula. Lacher’s work bridges theory and practice, combining empirical research with actionable insights for educators and industry professionals. Her contributions highlight the evolving landscape of computer science education and collaborative learning environments.

Cay S Horstmannمشاهده پروفایل

استاد

• Computer Science Education
• Programming Languages
• Software Development
• +۳ مورد دیگر

Cay S Horstmann is a Professor of Computer Science at San José State University (SJSU), where he has taught for nearly 30 years. He holds a Ph.D. in Mathematics from the University of Michigan (1987) and an M.S. in Computer Science from Syracuse University. His research and professional contributions span programming language design, educational materials development, and software engineering. He has authored influential textbooks including Core Java and Scala for the Impatient , and created open-source tools like the Violet UML editor and GridWorld framework. Horstmann’s career includes a stint as VP/CTO of a dot-com startup, as well as visiting professorships at universities in Germany, Switzerland, Vietnam, and Macau. He is a Java Champion and ACM Distinguished Member. His academic focus integrates practical software development principles with educational innovation. Key contributions include advancing Java programming pedagogy and promoting object-oriented design best practices. Horstmann’s entrepreneurial experience enriches his teaching, emphasizing real-world applications of computer science concepts. Current roles include advising on curriculum development and mentoring in SJSU’s Computer Science department. Notable projects include CodeCheck, an automated grading tool for programming assignments, and contributions to AP Computer Science curricula via GridWorld. His awards reflect industry and academic recognition for technical excellence and educational impact. Horstmann maintains an active presence through blogs, Mastodon, and online course development targeting both beginners and professional programmers.

WONG Lim Soonمشاهده پروفایل

استاد

• Computational Biology
• Algorithms & Theory
• Database
• +۶ مورد دیگر

WONG Lim Soon is the KITHCT Chair Professor at the School of Computing , National University of Singapore (NUS). He also served as Deputy Dean of the NUS Graduate School and currently directs the Integrative Sciences and Engineering Programme . His career spans significant contributions to database theory, computational biology, and knowledge discovery technologies. Education: B.Sc. (Engineering) in Computing Science, First Class Honours, Imperial College London Ph.D. in Computer & Information Science, University of Pennsylvania His research interests intersect computational biology , database theory , and knowledge discovery . He focuses on enhancing proteomic profile analysis, addressing confounders in omics data, predicting transcription factor interactions, and rethinking synchronized iteration in programming languages. His work aims to improve biomarker reproducibility in proteomics and design robust statistical methods for omics analysis. His recent publications highlight advancements in genomic data processing , proteomics , and database algorithms . Key themes include non-equijoin efficiency , batch effect normalization , and protein family prediction in low-similarity regimes. Scientific Awards & Honours: Fellow of the ACM, 2013 ICDT 2014 Test of Time Award (with Peter Buneman and Val Tannen) FEER Asian Innovation Gold Award, 2003 (with Allen Yeoh, Huiqing Liu, and Jinyan Li) Singapore Youth Award Medal of Commendation, 2006 Limsoon co-founded Molecular Connections in India and has chaired the company for over a decade, growing it into a 2,000-person organization. His research is supported by grants from Singapore’s National Research Foundation and Ministry of Education Academic Research Fund (Tier-1 and Tier-2). He also develops open-source tools like Synchrony DBModel and GMQL implementations in Scala/Python.

• Programming Language Theory
• Type Systems
• Scala
• +۱۱ مورد دیگر

Yichen Xu is a Doctoral Assistant at the Programming Methods Laboratory (LAMP1) within the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL). He is currently pursuing his Ph.D. in Computer Science under the supervision of Professor Martin Odersky, the creator of Scala. Bachelor of Engineering in Computer Science, Beijing University of Posts and Telecommunications (2018–2022) Doctor of Philosophy in Computer Science, EPFL (2022–present) Yichen's research bridges programming language theory and machine learning. His primary focus lies in advancing Scala's type system, particularly through work on Capture Calculus and Generalized Algebraic Data Types (GADTs), aiming to achieve safe and efficient effect tracking. He has also made significant contributions to graph representation learning, especially in contrastive learning frameworks for graphs. His work spans both theoretical foundations and practical implementations in compilers and open-source libraries. His recent publications reveal a strong trend in formal methods for programming languages and self-supervised learning on graphs. Key themes include data race prevention via flexible type systems, formalization of inference rules in type calculi, and empirical studies on contrastive learning with adaptive augmentation and structure-aware mining. These works have been published in venues such as IWACO, NeurIPS, WWW, and Scala Symposium. First Prize in NSCSCC 2020 competition (EasterMIPS CPU project) Yichen has been actively involved in mentoring and collaborative research, contributing to major projects like CodeGeeX and the Scala 3 compiler (dotty). He has worked closely with researchers including Prof. Shu Wu, Prof. Zhilin Yang, Dr. Aleksander Boruch-Gruszecki, and Yanqiao Zhu. His open-source contributions include tools like PyGCL, fscala2c, and meow, reflecting a strong commitment to practical software development and community engagement. He is part of the Programming Methods Laboratory at EPFL and has previously been affiliated with research groups at CRIPAC (CASIA) and IIIS (Tsinghua University), forming a broad collaborative network in programming languages and machine learning.

Matías Toro Ipinzaمشاهده پروفایل

استادیار

• Programming Languages
• Type Systems
• Gradual Typing
• +۶ مورد دیگر

Matías Toro is an Assistant Professor at the University of Chile , affiliated with the Computer Science Department (DCC) and PLEIAD Lab . His work focuses on programming languages, particularly type systems and gradual typing. Research Interests: Programming Languages Type-and-effect Systems Gradual Typing Security Typing Substructural Type Systems Abstracting Gradual Typing Differential Privacy Recent Work Trends: His publications cover gradual typing extensions for parametricity, differential privacy, SQL engines, and information flow security. Keywords: type systems, programming languages, privacy-preserving computation, abstract interpretation, language design, parametricity. Scientific Awards: Distinguished Paper Award - superseded by JACM article "Gradual System F" (2022) Grants: Recipient of FONDECYT DE INICIACIÓN (2025), PROYECTO DE COLABORACIÓN INTERNACIONAL DFG-ANID (2024), FONDECYT (2020), and CONICYT scholarships (2015, 2013) for academic studies. Labs & Collaborations: Active in the PLEIAD Lab, contributing to programming language theory and type system design.

Jonathan Immanuel Brachthäuserمشاهده پروفایل

پژوهشگر

• Programming Languages
• Type Systems
• Compiler Design
• +۷ مورد دیگر

Jonathan Immanuel Brachthäuser is a researcher at the University of Tübingen in Germany. He serves as a program committee member across multiple conferences including IWACO, ICFP, POPL, and SPLASH, and has held organizing roles such as Hybridisation Co-Chair and Sponsorship Chair . His research focuses on algebraic effects , effect handlers , and continuation-passing style in programming language design and compilation. Conference Contributions : 15+ peer-reviewed papers on effect systems, type inference, and compilation techniques. Advising & Mentorship : No formal student advising roles listed, but active participation in academic community building. Technical Leadership : Co-chair for workshops and artifact evaluation committees, reflecting his influence in effect-driven language design.

Philipp Hallerمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Concurrency
• +۱۱ مورد دیگر

Philipp Haller is an Associate Professor in the Department of Computer Science at KTH Royal Institute of Technology, affiliated with the Theoretical Computer Science Group, Digital Futures, and WASP. He holds a PhD from EPFL (2010) and has held research positions at Stanford and EPFL, and industry roles at Typesafe Inc. Research Interests: His work centers on programming language design, concurrency (especially actor and futures models), distributed programming, type systems, and serverless computing. He is a leading contributor to the Scala language, having co-created its async/await syntax and futures library. His recent research includes the Portals framework for stateful serverless applications and formal models for consistency and concurrency safety. Publication Trends: His recent work (2020–2024) shows a strong focus on safe and scalable concurrency, stateful serverless systems, formal verification of language features, and distributed data consistency. He frequently publishes in top venues like ECOOP, OOPSLA, and PLDI, often combining theory with practical implementations in Scala. 2019 ACM SIGPLAN Programming Languages Software Award (for Scala) 2017 Teacher of the Year, EECS, KTH Advising and Grants: He supervises PhD students including Jonas Spenger, Xin Zhao, and Viktor Palmkvist. He led the Software Development Academy, a reskilling program for immigrants funded by the Wallenberg Foundations. He actively participates in academic service, co-chairing workshops like PLACES and AGERE!, and serving on program committees for OOPSLA, ECOOP, and POPL. Labs and Teams: He is part of the Theoretical Computer Science Group at KTH and leads research related to the Portals framework, which unifies dataflow and actor models for edge and serverless computing.