Dr Robbie Love is a Researcher in Linguistics at Lancaster University, affiliated with the ESRC Centre for Corpus Approaches to Social Science. His work focuses on corpus linguistics methodologies and analysis of spoken British English. Primary research interests include corpus design, language variation in spoken English, and critical discourse analysis, particularly as applied to the Spoken British National Corpus 2014 project which he helped develop. Recent publications demonstrate applications of corpus methods across register analysis, sociolinguistics, and digital discourse studies. Teaching experience includes modules on corpus linguistics and English language studies. No information is available regarding awards or current supervisees.
Matthew Daggitt is a Lecturer in the Department of Computer Science and Software Engineering at the University of Western Australia (UWA), within the School of Physics, Maths and Computing. He holds a PhD in Computer Science from the University of Cambridge (2019), focusing on algebraic routing theory. Previously, he worked at Curtin University and Heriot-Watt University. His research emphasizes formal verification of software correctness, particularly in neural-symbolic systems and distributed algorithms. He leads the development of Vehicle , a tool for end-to-end verification of hybrid neural-symbolic programs. He also maintains the Agda theorem prover’s standard library and explores computational geology, such as zircon analysis for geological dating. Education: PhD in Computer Science (University of Cambridge, 2019). Research Interests: Formal verification, neural networks, automated reasoning, neuro-symbolic systems, distributed algorithms, and routing protocols. His work bridges theoretical foundations with practical tools like Vehicle, enabling rigorous verification of machine learning and classical software integration. Research Trends: Recent publications focus on neural network verification challenges, geological applications of zircon analysis, and advances in formal methods for AI safety. Collaborations span computer science and geology, reflecting his interdisciplinary approach. Advising & Projects: Accepts PhD students in formal verification and neural-symbolic systems. Active in open-source projects and tool development.
Arnold Meijster is a Lecturer in the Faculty of Science and Engineering at the University of Groningen, specializing in Computer Science with focus areas in Parallel Computing, Programming, Signal Processing, and Algorithm Design. He teaches courses including Imperative Programming, Functional Programming, Signals and Systems, Compiler Construction, and Artificial Intelligence. His research spans parallel computing, image processing algorithms, and artificial intelligence, with particular expertise in developing efficient algorithms for morphological image processing and watershed transforms. His work frequently involves parallel algorithm design for shared-memory systems applied to large-scale image data. Publications from 1996 to 2018 demonstrate consistent focus on image processing and parallel computing, with recent work on hybrid shared-memory algorithms and machine learning applications. Early contributions centered on watershed transformation and connected component algorithms. Best young author paper award (1998)
Loek G.W.A. Cleophas is an Assistant Professor in Engineering of Software-Intensive Systems at Eindhoven University of Technology (TU/e), affiliated with the Mathematics and Computer Science department. He holds an Extraordinary Associate Professorship at Stellenbosch University and has held visiting roles at TU Braunschweig (2016-2017) and Umeå University (2014-2016). His academic career includes industry collaborations with ASML and Canon, and leadership as Managing Director of the Dutch research school for Programming and Algorithmics (IPrA). Education: Both his MSc (with honors) and PhD in Computer Science and Engineering were obtained at TU/e. His research focuses on model-driven software engineering (MDSE) and algorithm engineering, with emphasis on pattern matching using finite automata and parallel processing for large datasets. Recent work includes model repository analytics, digital twin systems, and variability analysis in software product lines. Research Trends: Over 129 publications span topics like SAMOS framework for model analytics, VPDSL domain-specific languages, and taxonomy-based algorithm toolkits. His work bridges theoretical foundations with industrial applications in high-tech systems. Advising: Supervised 27 postgraduate students at Stellenbosch and TU/e. Grants/Projects: Led collaborations with ASML on model-driven virtualization, and organized international workshops like AMMoRe (2018-2020). Labs/Tools: Developed SAMOS framework for model analytics and LaMa web application for thematic labeling. Active in open-source tool development for correctness-by-construction methodologies.
Jonas Löwgren is a Professor of Interaction and Information Design at Linköping University, Sweden. He holds a Ph.D. in Computer Science and has been a prominent academic since the 1990s, contributing significantly to interaction design theory and practice. Löwgren has led the development of influential academic programs, including the Master’s program in Interaction Design at Malmö University and the international Master’s program in Design at Linköping University. His research focuses on collaborative media design, interactive visualization, and the theoretical foundations of interaction design, emphasizing human-centered approaches and the role of technology in societal challenges. Education: Löwgren earned his M.Sc. (1987), Ph.D. (1991), and Docent (1995) in Computer Science from Linköping University. He has held academic positions at multiple institutions, including Malmö University (1999–2015) and Blekinge Technical University (2000–15 as Adjunct Professor). Research Interests: Löwgren’s work explores how technology can be designed to foster meaningful interactions, with a focus on sustainability, collaborative systems, and the ethical dimensions of design. He has pioneered studies on interactive visualization tools for education and urban planning, emphasizing inclusivity and citizen engagement in smart city development. Grants & Leadership: He has managed numerous research projects, such as the Substrate project (2009–15) and the News Media Concept Lab (2010–11). He has served as a faculty opponent for over 30 doctoral defenses and contributed to academic leadership roles, including steering committees for research centers like Internet of Things and People (2013–15). Labs & Teams: Löwgren leads the Media Design and Image Reproduction unit at Linköping University and collaborates with industry partners on projects like the Pinpoint visualization tool (2008) and the Avatopia cross-media community initiative (2001–03).
Etienne Lozes is affiliated with the Department of Computer Science II at RWTH Aachen University, part of the Faculty of Computer Science. His work involves research and teaching in areas such as hybrid systems, compiler construction, and model checking. Research interests include: Formal methods for software verification and model checking. Compiler design and construction. Dependable systems and safety-critical software analysis. Probabilistic programming and energy-efficient system design. He has been involved in academic projects like the European Space Agency's COMPASS initiative and has contributed to teaching activities, including the Compiler Construction course. The department also highlights collaborative research efforts in satellite design and analysis, though direct attribution to Lozes is not specified.
Thomas Heenan is a Lecturer at Monash University, affiliated with The Monash Intercultural Lab (MIL). He specializes in intercultural dialogue, sports history, and cultural tourism, contributing to UN Sustainable Development Goals through his research. He coordinates undergraduate teaching programs, including units like Australian Idols: Exploring Contemporary Australia , Sport and Australian Society , and Australia in a Globalizing World . His work emphasizes experiential learning, taking students to remote Australian locations like Broken Hill and Lake Mungo National Park. He leads a 2023-2024 research project on intercultural exchange programs and has published widely on topics such as cricket culture, heritage tourism, and media representation in sports. In 2004, he won the 'Best Business History Paper' award at the Academy of Management Proceedings. He actively engages with media, contributing to features on racism in Australian football, the Commonwealth Games, and athlete ethics scandals. Heenan’s collaborations span global research networks, focusing on cultural dynamics across regions like the Middle East and South Asia. His interdisciplinary approach bridges sociology, history, and cultural studies, reflecting his commitment to addressing global challenges through intercultural education.
Mário Pereira is an Assistant Professor at NOVA School of Science and Technology and integrated member of NOVA LINCS research unit. His research focuses on developing tools and techniques for deductive verification of OCaml programs. He leads the Cameleer project, which aims to produce correct-by-construction OCaml programs. Pereira teaches courses on Theory of Computation, Algorithms, and Compilers, and has supervised multiple PhD and Master's students in formal verification research.
Xiaohong (Sophie) Wang is a Professor and Chair of the Computer Science Department at Salisbury University. She holds a B.Sc. from Jilin University (China), and M.Sc. and Ph.D. in Computer Science from the University of Victoria (Canada). Her research focuses on software engineering, computer science education, scientific computation, GIS integration, programming languages, and artificial intelligence. She leads the NSF-funded Rural AI Solutions and Engagement (RAISE) project ($380K) and has managed over 100 capstone software engineering projects for real-world clients. Dr. Wang has received the 2020 Salisbury University Alumni Association Faculty Appreciation Award for her innovative teaching methods and leadership. She chairs the Computer Science Department, overseeing curriculum development, lab infrastructure, and strategic decisions. Her grants include the NSF Convergence Accelerator Track K project ($799K), Maryland Department of Emergency Management grants, and NSF-funded projects like the CCC* Regional initiative. Her research spans climate change impacts, coastal inundation modeling, and educational technology. Notable projects include storm surge prediction for Maryland, salt contamination forecasting via SaltCast.io, and K-8 math tutorial development. She advises undergraduate research in areas like 3D printing, parallel programming, and Android app development. Dr. Wang teaches advanced courses such as Software Engineering I/II, Compiler Construction, and Operating Systems. She emphasizes applied learning and has developed concept-based pedagogy frameworks. Her work bridges academia and real-world challenges, fostering student innovation and environmental resilience initiatives.
Riad Wahby is an Assistant Professor in the Electrical and Computer Engineering department at Carnegie Mellon University's College of Engineering, with affiliations in the Computer Science Department. His research focuses on theoretical computer science with applications in cryptography and security systems. Primary research areas include: Zero-knowledge proof systems and SNARKs Secure multiparty computation Cryptographic protocol design Formal verification methods His publications demonstrate consistent innovation in cryptographic compilers, constraint systems for SNARKs, and practical applications of zero-knowledge proofs. Recent work highlights include advancements in finite-field verification, decentralized auction systems, and side-channel attack analysis. Current advising includes graduate students Quang Dao and Kunming Jiang. Teaching includes courses in computer systems and cryptography (15-330).
Adam Chlipala is the Arthur J. Conner Professor of Computer Science at MIT, with appointments in the Computer Science and Artificial Intelligence Laboratory (CSAIL) and the Department of Electrical Engineering and Computer Science. His research integrates programming languages and formal methods to develop verified computer systems. Education: PhD in Computer Science, University of California, Berkeley MS in Computer Science, University of California, Berkeley BS in Computer Science, Carnegie Mellon University Research Focus: Dr. Chlipala's work spans: Verified compilers and programming tools Cryptographic protocol implementation Hardware description languages Proof automation in theorem provers High-performance parallel computing His current projects focus on rethinking abstractions for parallel systems with end-to-end formal verification. Teaching: He has created and teaches courses on verified software engineering (6.S057), programming fundamentals (6.1010), and formal reasoning about programs (6.5120). His educational materials include textbooks on Certified Programming with Dependent Types and Formal Reasoning About Programs. Awards and Honors: His research has been recognized with the German IT Security Award, Humies Gold Award for evolutionary computation, and multiple teaching prizes including the Jamieson Prize. He is an ACM Distinguished Member and NSF CAREER awardee. Research Teams: Dr. Chlipala leads the Programming Languages & Verification Group at MIT CSAIL. His startup Nectry develops no-code enterprise software based on the Ur/Web language and UPO proof system.
Jose Francisco Morales is a Researcher at IMDEA Software Institute, a position he has held since November 2010 after completing his PhD at the Technical University of Madrid (UPM). Prior to this, he served as a teaching assistant at Universidad Complutense de Madrid starting in 2005. His academic background includes: PhD in Computer Science from the Technical University of Madrid (UPM), Spain His research focuses on efficient logic program execution through abstract interpretation for property inference, highly-optimizing native code translation , and abstract machine specification . Key areas include constraint logic programming, assertion languages, program analysis, compiler optimizations, and multiparadigm language implementation, with emphasis on developing formal abstractions for automated system construction. No scientific awards, student advisees, grants, or laboratory affiliations were documented in the source material.
Saverio Perugini is a Professor of Mathematics and Computer Science at Ave Maria University, leading the computer science program since 2022. Previously, he spent 18 years as a faculty member at the University of Dayton, where he held roles including undergraduate program director. He earned his Ph.D. in Computer Science from Virginia Tech in 2004. His research focuses on functional programming, engineering interactive computing systems, and applying programming language concepts to novel domains like human-computer interaction. Perugini is a Senior Member of the ACM and IEEE Computer Society. He has published extensively, including a textbook Programming Languages: Concepts and Implementation (2023), and co-authored a NSF-funded project (2017–2022) on active learning in computer science education. His work emphasizes practical, hands-on teaching, integrating programming with problem-solving and computational thinking. He has advised numerous students and contributed to curriculum development, including courses on programming languages, operating systems, and artificial intelligence. Perugini’s funded research includes a $299,864 NSF grant for active learning in STEM education. He also leads initiatives like the Ave Maria Computer Science program, emphasizing ethical and humanistic approaches to technology. His research and teaching align with Catholic educational values, fostering intellectual curiosity and moral integrity in students.
Dr. Bary W. Pollack serves as an Adjunct Professor at Capitol Technology University. Previously, he held roles as Computer Science Program Chair at Sierra Nevada University's Department of Science and Technology for two decades, and taught at City College of San Francisco and San Francisco State University. With over 20 years in Silicon Valley R&D, he specialized in software design and implementation. Education: Ph.D. & M.S. in Computer Science (Stanford University), B.S. in Mathematics (MIT) His research focuses on compilers, programming languages, computer graphics, and entertainment technology. He co-founded General Parametrics Corporation and contributed to software engineering advancements. Publications include Compiler Techniques (1972) and co-authored works on computational linguistics. Awards include Sigma Xi membership (1974). Volunteer activities include co-founding Winds-Across-the Bay youth symphonic band and AP Computer Science exam reading for ETS.
Dr. Bruce Lester is a Professor of Computer Science at Maharishi University of Management (MUM), where he founded the Computer Science Department and served as its Chair for eight years. He holds PhD, MS, and BS degrees from the Massachusetts Institute of Technology (MIT). His research focuses on Parallel Computing and Programming Languages for Multi-Core Processors, with a strong emphasis on compiler optimization and concurrency control. Education: Bachelor of Science, Massachusetts Institute of Technology Master of Science, Massachusetts Institute of Technology Doctor of Philosophy (PhD), Massachusetts Institute of Technology Research Interests: Dr. Lester’s work spans Parallel Computing, Programming Languages, and Multi-Core Processor Optimization. He has developed techniques for lock-free parallel data structures, operator fusion in data-parallel libraries, and compile-time detection of control flow errors in parallel programs. His contributions to the field include foundational research on concurrency debugging and the design of educational tools like Multi-Pascal for teaching parallel programming. Publications Trends: His publications emphasize practical applications of parallel computing, including high-performance algorithms, compiler techniques, and concurrency error detection. Recent work focuses on lock-free systems and data-parallel library optimizations. Awards & Honors: Best Paper Award at the 2011 International Conference of Parallel and Distributed Computing (World Congress on Engineering) Advising & Grants: No formal advisee names are listed in the provided data. His professional experience includes 13 years of teaching and six years as a Senior Software Engineer at Primus Telecommunications, where he developed client/server systems and internet platforms. Labs & Teams: While specific lab affiliations are not detailed, his role as founder of MUM’s Computer Science Department suggests leadership in departmental research initiatives.
