Ravi Sethi serves as a Laureate Professor in the Department of Computer Science within the College of Engineering at the University of Arizona. His office is located in GS 842, and he can be contacted via email at rsethi@cs.arizona.edu or by phone at 520-621-0689. His primary research interests include: Software technologies Communications systems Compilers Programming languages Algorithms Professor Sethi is renowned for his foundational contributions to compiler design, particularly as co-author of the seminal textbook "Compilers: Principles, Techniques and Tools". His publication record spans over four decades with works translated into multiple languages, reflecting global influence in computer science education. Analysis of his recent articles reveals persistent focus on compiler construction, programming language semantics, and software engineering methodologies. Key trends include modern compiler optimizations, formal language theory, and enterprise communication systems, demonstrating sustained relevance in evolving technical landscapes. No scientific awards, student advising details, grant information, or laboratory affiliations were mentioned in the provided text.
David Zwicker serves as a Max Planck Research Group Leader at the Max Planck Institute for Dynamics and Self-Organization in Göttingen, Germany, where he heads the Theory of Biological Fluids group. His research investigates how soft and fluid-like biological materials achieve precise spatial and temporal organization through physical principles. Dr. Zwicker's work centers on biomolecular condensates, pattern formation, and smart materials design. His group employs statistical physics, dynamical systems theory, and fluid dynamics to model biological processes including phase separation in cells, active matter systems, and nasal airflow mechanics. Current projects explore how phase transitions might enable cellular information processing and how chemical activity drives droplet self-propulsion. Recent publications (2024-2025) reveal strong focus on phase separation dynamics in biological contexts, with emerging themes in active condensates, multicomponent mixtures, and computational modeling tools. His group develops open-source software like flory for phase diagram analysis and py-pde for partial differential equations. Scientific recognition includes: ERC Starting Grant for biomolecular condensates research Dr. Zwicker leads an active research team currently comprising postdoctoral researchers Guido Kusters and Filipe Thewes (joined October 2024), with ongoing recruitment for ERC-funded projects. His group maintains strong computational focus while collaborating across physics and biology disciplines. The Theory of Biological Fluids group operates within the Max Planck Institute's Department of Fluid Dynamics, utilizing advanced modeling to bridge theoretical physics and cellular biology.
Ruslan Nikolaev is an Assistant Professor in the Department of Computer Science and Engineering, specializing in nonblocking algorithms, memory reclamation, and concurrent data structures. His research spans operating systems, virtualization, and lock-free programming paradigms. Academic Rank: Assistant Professor Department: Computer Science and Engineering Research Interests focus on: Nonblocking and wait-free algorithms Memory-efficient reclamation techniques Lock-free data structures Operating system virtualization Device driver security Recent work includes 2025 advancements in SCOT and RRR-SMR frameworks for nonblocking structures, 2024 contributions to wait-free reclamation, and 2022 innovations in address space randomization (Adelie), critical service domains (Kite), and wait-free queues (Wcq). Earlier projects (2013-2020) explored OS virtualization (VirtuOS) and reclamation mechanisms (LibrettOS). Trends in his publications highlight: Optimization of concurrent algorithms Security enhancements in Linux drivers Virtualization techniques for critical services Efficient memory management strategies Robust fault tolerance in distributed systems
Vijay Narayanan is the Robert Noll Chair Professor in Computer Science & Engineering and Electrical Engineering at Pennsylvania State University. He co-directs the Microsystems Design Lab and leads research in embedded visual analytics, self-powered processors, and system design using emerging devices. Education: B.E in Computer Science and Engineering (1993) from University of Madras, India Ph.D. in Computer Science and Engineering (1998) from University of South Florida, USA His research spans Power Aware Computing , Computer Architecture , and Embedded Systems , with emphasis on Visual Cortex on Silicon and Self-Powered Processors . Current work includes Non-Volatile Processors and Design Automation under unreliable power conditions via NSF ERC ASSIST. Recent publications focus on GPU architecture (Tensor Cores, ACE), Memory Consistency Verification (QED), and Neural Radiance Fields (Disorf, Distwar) for robotics and rendering. Key collaborations include Tsinghua University and DARPA/SRC LEAST Center . Scientific Awards: IEEE Fellow ACM Fellow He leads the Architecture, Benchmarking and Circuits Thrust in the DARPA/SRC LEAST Center and contributes to NSF ERC ASSIST for self-powered systems. Grants and projects emphasize cross-layer optimizations and hardware-software co-design.
Seiichiro Tani is a Professor at Waseda University's Faculty of Education and Integrated Arts and Sciences since April 2024. He previously held prominent roles at NTT Communication Science Laboratories (2003-2024), including Leader of the Computing Theory Research Group and Project Manager of the Research Center for Theoretical Quantum Information. He has also served as a Visiting Professor at Tokyo Institute of Technology (2022-2024) and a researcher at JST's ERATO projects (2004-2009). His academic journey includes a Ph.D. in Computer Science from the University of Tokyo (2006), preceded by M.E. and B.E. degrees from the University of Tokyo and Kyoto University, respectively.
Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, actively contributing to software engineering research through program committee roles at ICSE, FSE, ASE, and ISSTA conferences since 2015. His research focuses on software testing innovation , particularly in mobile security, GUI testing, and AI-driven test automation. Key contributions include frameworks for malware analysis (MalScan), UI exploration (Guardian, Vet), and neural network testing (DeepPerform, EREBA), addressing critical challenges in test oracle generation, flaky tests, and resource-constrained environments. Recent work demonstrates a strategic shift toward LLM and foundation model applications for testing, with 2023-2026 publications exploring vision-language models for GUI testing, parameter ownership in collaborative AI development, and instruction alignment in large language models. This evolution reflects the field's broader trajectory toward AI-integrated quality assurance.
Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland. Previously, he was affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Germany where he completed his PhD. His research focuses on programming languages, compilers, and software verification, with particular emphasis on: Automated verification and testing of concurrent programs Weak memory models employed by modern microprocessors Stateless model checking techniques Formal methods for program analysis His work has led to the development of several verification tools including GenMC (a stateless model checker for C/C++ programs under weak memory models) and Kater (a tool that automates weak memory model metatheory and consistency checking). Dr. Kokologiannakis has published extensively at top-tier programming languages and verification conferences including PLDI, POPL, OOPSLA, and CAV. His research has pioneered advances in stateless model checking, partial order reduction, and verification under weak memory consistency models. He completed his MEng at the National Technical University of Athens (NTUA) before earning his PhD from MPI-SWS.
Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."
Dr. Craig Beyrouty is a Professor at the University of Maryland's College of Agriculture and Natural Resources, specializing in soil science and plant-root interactions. He previously served as Dean and Director of the college (2015–2025) and held leadership roles at Colorado State University, Purdue University, and the University of Arkansas. His international research spans Africa, Asia, and the Americas, focusing on sustainable agriculture. Education: Ph.D. in Soil Chemistry, Purdue University M.S. in Soil Chemistry, Purdue University B.S. in Soil Science, Cal Poly State University Research Interests: Beyrouty investigates root-system dynamics, nutrient uptake (potassium, nitrogen), soil-plant interactions in crops (rice, soybean), and bioremediation techniques. His work addresses no-till systems, water-nutrient stress, and microbial-assisted soil decontamination, emphasizing practical applications for global agriculture. Publications: Recent articles (1998–2011) reveal a focus on potassium management in soybeans, root ecophysiology, rice nutrition under floodwater stress, and phytoremediation. Trends include soil fertility optimization, crop adaptation to environmental constraints, and sustainable farming innovations. Awards: Fellow, Soil Science Society of America Fellow, American Society of Agronomy George Scarseth Research Award (1983) Professional Leadership: Vice Chair of the International Rice Root Working Group; President of the Plant Root Environment Working Group; extensive collaboration with global agricultural institutions.
Sašo Živanović is an Assistant Professor at the Department of Comparative and General Linguistics, Faculty of Arts, University of Ljubljana. He holds a PhD in General Linguistics (2007) and a Diploma in Theoretical Mathematics (2002), and has been continuously employed at the university since 2007. His educational background reflects an interdisciplinary approach, combining mathematical rigor with linguistic theory. This foundation supports his research at the intersection of formal linguistics and computational methods. Živanović's research spans theoretical linguistics with particular emphasis on semantics (especially quantification), phonology, and syntax. His work demonstrates a consistent focus on the formal properties of language structure, with publications ranging from theoretical explorations of logical form to practical applications in linguistic documentation. His recent work shows increasing integration of computational approaches, particularly through his development of specialized LaTeX packages for linguistic research. Analysis of his publication record reveals a dual trajectory: theoretical contributions to linguistic theory (particularly in Slavic languages) and practical tools for linguistic documentation and analysis. His most recent publications demonstrate growing interest in computational linguistics and the development of specialized software tools for linguistic research. Živanović maintains an active presence in both academic and open-source communities, with significant contributions to the LaTeX ecosystem through packages like Memoize, Forest, and SignDraw that address specific needs in linguistic research and publication. As an educator, he teaches courses including Phonetics and Phonology, Linguistic Typology, Modern Linguistic Theories, and LaTeX for Linguists, demonstrating his commitment to equipping students with both theoretical knowledge and practical technical skills essential for contemporary linguistic research.
Dr. Guoqiang Li is an Associate Professor in the School of Computer Science at Shanghai Jiao Tong University, where he conducts research at the intersection of formal methods, programming languages, and security. His academic journey includes prior positions as Assistant Professor (2009-2013) and subsequent promotion to Associate Professor (2014-present) at the same institution. He has held international appointments including a postdoctoral fellowship at Nagoya University (2008-2009), an academic visit at the University of Oxford (2015-2016), and a Guest Associate Professorship at Kyushu University's Research and Development Center for Smart Mobility (2016-2020). Dr. Li earned his B.S. from Taiyuan University of Technology (2001), M.S. from Shanghai Jiao Tong University (2005), and Ph.D. from Japan Advanced Institute of Science and Technology (2008). His educational background reflects a strong foundation in both Chinese and Japanese academic traditions. His research focuses on formal verification, programming language theory, zero-knowledge proofs, knowledge reasoning, and intelligent system verification and security. Over the past decade, his work has evolved from traditional formal methods applied to timed automata and process calculi to contemporary topics including neural network verification, zero-knowledge proof systems, and the application of large language models to program analysis. His publication record demonstrates a clear progression toward addressing verification challenges in increasingly complex modern systems. Dr. Li's recent publications reveal a strategic research trajectory: early work centered on timed automata and formal verification of concurrent systems, while current research addresses the verification of AI systems, zero-knowledge cryptographic protocols, and LLM-enhanced program analysis. This evolution reflects his commitment to applying rigorous formal methods to emerging computational challenges. Distinguished Paper Award at ICSE 2020 for 'Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning' Consistent publication in top-tier venues including ASE, ICSE, FSE, and OOPSLA Recognition through multiple National Natural Science Foundation of China (NSFC) grants as Principal Investigator Dr. Li actively contributes to the academic community as a Senior Member of the China Computer Federation, Deputy Director of Theoretical Computer Science for the Shanghai Computer Society, and committee member for multiple technical organizations. He serves as Organization Chair for SEKM'20-22 and FMAC'17, Publicity Chair for TASE'21-23, and has participated in program committees for numerous international conferences. His teaching portfolio includes undergraduate and graduate courses in algorithm design, mathematical foundations, and scientific writing, demonstrating his commitment to both theoretical computer science education and practical application.
Fritz Henglein is a Professor at the Department of Computer Science, University of Copenhagen (DIKU), with affiliations also at Deon Digital. His career spans over three decades, with notable roles including Head of the Algorithms and Programming Languages (TOPPS) research group and Director of the HIPERFIT research center. Research interests include Programming languages and type systems Functional programming and DSLs High-performance computing Contracts and distributed ledger technology Algorithmic logic and formal semantics His work often bridges theoretical rigor with practical applications, particularly in financial information technology and compiler design. Collaborations include leadership in conferences like POPL, ICFP, and PEPM, with a focus on mentoring through academic events and community-building initiatives.
KC Sivaramakrishnan serves as an Adjunct Professor at the Indian Institute of Technology, Madras and CTO of Tarides, bridging academic research and industrial application in programming languages and systems. His dual roles reflect a commitment to advancing both theoretical foundations and practical implementations in computer science. His research spans Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, and Weak Memory/Consistency models, with particular focus on the OCaml programming language. Sivaramakrishnan's work addresses fundamental challenges in concurrent and distributed systems through innovative language design and runtime techniques. Analysis of his publication record reveals a consistent trajectory from foundational work on effect handlers and concurrency models (2015-2020) to more recent contributions in verified systems, multicore programming, and distributed data types (2021-2025). His research demonstrates strong continuity in exploring how programming language principles can solve real-world systems challenges. Sivaramakrishnan actively contributes to the academic community through program committee memberships across major PL conferences including POPL, PLDI, ICFP, and SPLASH. His service spans multiple roles from committee member to track chair and diversity co-chair. As CTO of Tarides, he leads industrial efforts in OCaml compiler development and systems programming, maintaining a productive synergy between his academic research and industry leadership. His work with the OCaml community includes significant contributions to multicore support and effect handler implementations.
Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.
Doug Trick serves as Associate Professor of Linguistics and Vice President at Canada Institute of Linguistics (CanIL), where he has taught since 2006. His instructional responsibilities include Principles of Translation, Philosophical Perspectives in Linguistics, Language Programs Design & Management, and Semantics & Pragmatics, while maintaining active involvement in Philippine language projects. His educational credentials include: 2013: D.Min. in Bible Translation from Gordon Conwell Theological Seminary 1992: Seminar in Linguistic Consulting from University of North Dakota 1977-1980: M.A. in Linguistics (Honours) from University of Texas at Arlington 1974-1977: Bachelor of Religious Education from Providence College Trick's research centers on practical Bible translation challenges, with specializations in Philippine linguistics (particularly Southern Sinama and Tagalog), lexicography, and sociolinguistic surveying. His work bridges theoretical linguistics with field application, focusing on translation evaluation metrics, meaning construction in cross-cultural contexts, and curriculum development for language workers. He has contributed significantly to understanding ergative syntax in Philippine languages and translation testing methodologies. Analysis of his 15 most recent publications reveals consistent emphasis on translation evaluation frameworks (2018-2023), Philippine language syntax (1997-2008), and the philosophical foundations of meaning in translation (2011-2019). His work demonstrates evolving focus from descriptive linguistics to translation theory and leadership discourse analysis. As academic mentor for CanIL's MA in Translation of Scripture program, Trick guides five translation consultants-in-training. His administrative roles have included Program Chair for the Master of Applied Linguistics and Exegesis (2012-2017) and interim leadership positions within SIL Philippines. He maintains active field engagement through ongoing contributions to Philippine language projects and collaboration with Summer Institute of Linguistics, applying decades of experience in language learning curriculum design and dictionary compilation to contemporary translation challenges.
