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

Soham Chakrabortyمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Computer Architecture
• +۳ مورد دیگر

Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.

Stefan K. Mullerمشاهده پروفایل

استادیار

• Type Systems
• Parallel Computing
• Resource Analysis
• +۳ مورد دیگر

Stefan K. Muller is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. His research focuses on applying programming language techniques to improve correctness and efficiency in parallel computing, with applications spanning AI, computer science education, and systems design. He earned his PhD at Carnegie Mellon University (2018) under Umut A. Acar, following a postdoc there (2018–20), and holds an AB in Computer Science from Harvard University (2012). PhD, Carnegie Mellon University (2018) Postdoc, Carnegie Mellon University (2018–20) AB, Harvard University (2012) Stefan’s work integrates type systems, static resource analysis, and concurrency to address challenges in parallelism. His recent projects include Graph Types for language-agnostic parallel computation analysis, Responsive Parallelism models for interactive systems, and Resource-aware GPU Programming tools. He has contributed to conferences like POPL, PLDI, ICFP, and SPLASH, often focusing on deadlock detection, futures-based parallelism, and efficient compiler optimizations. His publications (2012–2024) emphasize formal methods for parallel systems. Key trends include type-driven concurrency, static analysis of GPU programs, and responsive scheduling for interactive applications. He mentors students in programming language theory and parallel computing, with former advisees now at institutions like Apple, Amazon, and UPenn. Stefan’s teaching includes courses on Types and Programming Languages (CS534), Science of Programming (CS536), and Compiler Construction (CS443). Outside academia, he is a homebrewer, runner, and singer, with a Bacon number of 2 and Erdős number of 4 .

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

استاد

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

Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .

• Computer Architecture
• High Performance Computing
• Parallel Systems
• +۲ مورد دیگر

Francisco Fernández Rivera serves as a Professor at the University of Santiago de Compostela within the Department of Computer Architecture and Technology. His teaching spans multiple academic programs including the Bachelor’s Degree in Informatics Engineering, Double Bachelor's Degree in Informatics Engineering and Mathematics, and the joint Master’s program in High Performance Computing with the University of A Coruña. His research centers on computer architecture with specialized expertise in high-performance systems. Key focus areas include: Computer Architecture High Performance Computing Parallel Systems Operating Systems Compilers He actively contributes to the Computer Architecture research group, developing curriculum for critical infrastructure technologies. Scientific Awards: No awards documented in source materials. Advising and Grants: Student supervision details and funding sources not disclosed in available records. Teaching responsibilities demonstrate leadership in core systems courses across undergraduate and graduate levels.

• Speech Synthesis
• Voice Quality Analysis
• Environmental Noise Mapping
• +۳ مورد دیگر

Joan Oró is a researcher at the Blanquerna Department of Physical Activity and Sport Sciences and Sports Management within the Faculty of Psychology, Educational Sciences and Sports at Blanquerna - Ramon Llull University. His work focuses on speech synthesis, voice quality analysis, and environmental noise mapping, with a particular emphasis on computational modeling and acoustic sensor networks. Research Interests: Speech signal processing, finite element modeling of phonation, environmental noise monitoring, and machine learning applications in acoustic analysis. Projects: Key contributions to the DYNAMAP initiative for real-time road traffic noise mapping and the FEMVoQ project for 3D voice quality simulation. Publications: Recent work explores vocal tract-glottal source interactions, spectro-temporal noise analysis, and intelligent clustering architectures, spanning interdisciplinary applications in acoustics, signal processing, and urban planning.

Bartomeu Fluxa Cabrerمشاهده پروفایل

مدرس

• Software Engineering
• Project Management
• Software Quality
• +۴ مورد دیگر

Bartomeu Fluxa Cabrer is an Associate Lecturer at the University of the Balearic Islands (UIB) with additional roles as Lecturer in UIB's Project Management postgraduate program and Collaborator Lecturer at the Open University of Catalonia (UOC). He maintains parallel industry leadership as PMO Senior Consultant and PM Practice Leader at CGI. His academic work focuses on Software Engineering and Software Quality education across multiple UIB engineering programs. Research interests center on: Software process improvement and capability maturity models Implementation of ISO standards (Quality, Information Security) IT project control systems and quality management Certification frameworks in technology organizations He collaborates with the MiProSoft research group investigating software project innovation. Industry expertise since 2002 spans project control systems, ISO standard evolution, process measurement, and corporate information systems management.

• Mindfulness Research
• Educational Technology
• Computer Science
• +۳ مورد دیگر

María Dolores Gil Montoya is a Professor in the Computer Science Department at the University of Almería (UAL), Spain, with a distinguished interdisciplinary research profile spanning computer science, mindfulness applications, and energy systems. Her academic career demonstrates a unique integration of technical expertise with psychological and philosophical perspectives. Her research interests focus on three interconnected domains: Mindfulness Research : Exploring applications in education and sports performance, with particular attention to bridging Eastern and Western philosophical traditions Educational Technology : Developing and implementing cooperative learning methodologies, active learning tools, and ICT integration in higher education Energy Systems : Contributing to research on power quality, electric vehicle infrastructure, and renewable energy integration Dr. Gil Montoya's publication record shows consistent scholarly output across these domains, with her most recent work focusing on the integration of mindfulness practices with educational technology. Her research demonstrates a distinctive approach that combines technical rigor with human-centered perspectives, particularly evident in her work on cooperative learning enhanced by mindfulness principles. She has successfully secured multiple research grants from Spanish government agencies, with projects ranging from high-performance computing applications to drone navigation systems. As a member of the 'Ciencia, consciencia y desarrollo' research group, she contributes to interdisciplinary work that connects technological development with consciousness studies. Her collaborations extend internationally, including work with the University of San Carlos Guatemala's Faculty of Engineering. Dr. Gil Montoya maintains an active research profile with an h-index of 13 in both Scopus and Web of Science, reflecting the impact of her interdisciplinary contributions across computer science, education, and energy research fields.

• Energy-aware software development
• Multi-language analysis
• Verification of non-functional properties
• +۱۱ مورد دیگر

Pedro López-García is a Tenured Researcher at the Spanish National Research Council (CSIC) and Affiliate Faculty at the IMDEA Software Institute. He received his MS and PhD in Computer Science from the Technical University of Madrid (UPM), Spain, in 1994 and 2000, respectively. Previously, he held academic positions as associate and assistant professor at UPM and served as deputy director of the Artificial Intelligence unit within the Computer Science Department. Education: MS (1994), PhD (2000) in Computer Science from UPM Current Role: Tenured Researcher at CSIC, Affiliate Faculty at IMDEA Software Institute Past Roles: Associate Professor, Assistant Professor at UPM His research focuses on energy-aware software development, multi-language analysis, and optimization of non-functional properties like resource usage, determinism, and non-failure. He has contributed to projects such as ES_PASS and FP7 FET ENTRA. Publications include over 60 refereed papers in high-impact conferences and journals. No explicit scientific awards or student advisement details are mentioned.

John Wickersonمشاهده پروفایل

مدرس ارشد

• concurrency semantics
• FPGAs
• GPUs
• +۵ مورد دیگر

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

Conrad Wattمشاهده پروفایل

استادیار

• WebAssembly
• Formal Verification
• Concurrent Programming
• +۳ مورد دیگر

Conrad Watt is an Assistant Professor at Nanyang Technological University in Singapore. His research focuses on the formal verification and mechanisation of WebAssembly, particularly its concurrency and security features. He previously held a Research Fellow position at Peterhouse, University of Cambridge. His work bridges theoretical formal methods with practical systems implementation, contributing to standards proposals for WebAssembly's evolution. He co-chairs the W3C WebAssembly Community Group and has served on program committees for POPL, PLDI, and SPLASH. Education: PhD in Computer Science (University of Cambridge, 2021), supervised by Peter Sewell Research interests include mechanisation of programming language specifications, relaxed-memory concurrency, and domain-specific languages for formal semantics. His projects like SpecTec aim to unify WebAssembly's specification across documentation, implementations, and mechanisations. Selected contributions to WebAssembly include: Designing its initial concurrency specification Developing WasmRef-Isabelle as a verified interpreter and fuzzing oracle Creating Iris-Wasm for modular program verification Scientific recognition includes: ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award He advises PhD students in WebAssembly-related topics and leads collaborations with industrial partners like Wasmtime. Current research explores irreducible control flow in WebAssembly, richer concurrency models, and performance optimization through mechanised specifications.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Logic
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

Aymeric Fromherzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Secure Systems
• Rust Verification
• +۶ مورد دیگر

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.

Rodrigo Santamaría Vicenteمشاهده پروفایل

دانشیار

• Bioinformatics
• Information Visualization
• Microarray Data Analysis
• +۴ مورد دیگر

Rodrigo Santamaría Vicente is an Associate Professor in the Department of Computer Science and Automation within the Faculty of Sciences at the University of Salamanca. His academic career centers on bridging computer science with biological research through advanced data analysis and visualization techniques. He serves as director of the Diploma of Specialization in Bioinformatics and Computational Genomics, demonstrating leadership in specialized academic programming. Dr. Santamaría earned his PhD in Computer Science from the University of Salamanca in 2009 with his thesis "Visual analysis of gene expression data by means of biclustering," supervised by Dr. Luis Antonio Miguel Quintales and Dr. Roberto Therón Sánchez. His academic journey began with an M.S. degree in Computer Science from the same institution. His research primarily focuses on Bioinformatics and Information Visualization, with particular emphasis on integrating diverse data sources, analysis algorithms, and visual representations to enhance understanding of complex biological problems. His work spans multiple subdomains including gene expression analysis, biclustering algorithms, phylogenetic tree visualization, and collaborative tagging systems. Santamaría's research group affiliations include both the BIOINFORMÁTICA research group and the CaUSAL (Cultura Académica, Patrimonio y Memoria Social) research group at the Institute of Functional Biology and Genomics. His publication record reveals a consistent trajectory of scholarly output since 2006, with recent work showing increased focus on biological applications of computational methods. His most significant contributions appear in the integration of visualization techniques with bioinformatics analysis, particularly through tools like BicOverlapper and Voronto that facilitate interactive exploration of complex biological data. The evolution of his work demonstrates progression from foundational algorithm development to increasingly sophisticated applications in systems biology. Author of the book "How Machines Organize: An Introduction to Distributed Systems" Director of the Diploma of Specialization in Bioinformatics and Computational Genomics Active contributor to R programming ecosystem with the biclust package As an educator, Santamaría teaches across multiple programs including the Master's Degree in Computer Engineering and previously taught Bioinformatics for the Biotechnology degree program. His teaching portfolio spans Bioinformatics (from both computer science and biology perspectives), Distributed Systems, and Service-Oriented Architectures. He maintains an active research laboratory focused on developing visualization tools for biological data analysis, with current projects emphasizing integration of gene expression data with biological ontologies and advanced biclustering techniques.

• Spanish Language
• Corpus Linguistics
• Historical Lexicography
• +۴ مورد دیگر

M. Teresa Cáceres Lorenzo is a full Professor in the Department of Hispanic, Classical and Arabic and Oriental Studies at the University of Las Palmas de Gran Canaria, where she leads research within the GIR IATEXT group focused on Corpus Studies and Applied Linguistics. Her work bridges historical linguistics, lexicography, and cultural studies, with particular emphasis on American Spanish evolution during the colonial era (1500-1740). Her research examines: Cross-cultural terminology exchanges between Spanish and indigenous languages (especially Nahuatl) Lexical development in nautical, ethnographic, and administrative colonial texts Socio-linguistic dynamics in border regions of historical America Methodological innovations in corpus linguistics for historical texts With over 150 publications, her scholarly output demonstrates consistent focus on: Diachronic analysis of American Spanish lexicon Interdisciplinary approaches combining philology, history, and cultural studies Pedagogical applications for Spanish language education She actively collaborates with international researchers and contributes to public linguistics discourse through media platforms. Her educational research investigates: Effectiveness of podcast-based oral training for Chinese-speaking students Competency development in humanities and engineering graduates Optimization of thesis supervision models

María Teresa Sánchez Nietoمشاهده پروفایل

استاد

• Translation Studies
• Corpus Linguistics
• German-Spanish Translation
• +۳ مورد دیگر

María Teresa Sánchez Nieto is a Professor in the Department of Spanish Language - Translation and Interpreting at the University of Valladolid's Faculty of Translation and Interpreting. With a career spanning over two decades since earning her Bachelor's Degree in German Philology in 1996, she has established herself as a significant scholar in Translation Studies, particularly in German-Spanish translation. Her research interests focus on Translation Studies, Corpus Linguistics, Contrastive Linguistics, and specialized translation domains, particularly wine industry terminology. She has developed expertise in analyzing cultural references in translation, resultative constructions across languages, and the application of parallel corpora to translation research. Her publication record shows a consistent output since the late 1990s, with a notable increase in scholarly contributions from 2007-2021. Her work demonstrates a clear trajectory from foundational translation studies toward specialized corpus-based research, with increasing focus on domain-specific translation (particularly vitiviniculture) and methodological innovation in translator training. Translation practices on the euro|topics press roundup: a case study (2021) Parallel corpora in focus (2019) Learner corpora and creative writing in translation pedagogy (2016) German-Spanish contrastive studies using parallel corpora (2011-2018) Wine industry terminology and cultural references in translation (2013-2015) Sánchez Nieto's research methodology combines corpus linguistics with practical translation challenges, often employing action research approaches to develop innovative translator training methods. Her work bridges theoretical translation studies with practical applications in specialized domains, making significant contributions to both academic knowledge and professional translation practice.