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

Jonathan Balkindمشاهده پروفایل

استادیار

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

Jonathan Balkind is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). His research focuses on the intersection of computer architecture, programming languages, and operating systems, with an emphasis on pragmatic system design and open-source hardware. He leads the ArchLab at UCSB and is affiliated with the OpenPiton project, an open-source manycore research framework. Education includes a PhD and MA in Computer Science from Princeton University (adviser: Prof. David Wentzlaff), an MSci in Computing Science from the University of Glasgow (advisers: Prof. Joseph Sventek and Dr. John O'Donnell), and exchange studies at UCSB. His work has been supported by awards such as the NSF Early CAREER Award (2023) and the Open Hardware Trailblazer Fellowship (2022). Research interests span heterogeneous computing, cache-coherent systems, FPGA integration, and domain-specific architectures. Notable projects include the 25-core Piton chip, the CIFER SoC with embedded FPGA, and the DECADES manycore processor. Recent publications address fused-kernel operating systems (Stramash), control logic synthesis, and hyperloop data-center architectures. His awards reflect contributions to open-source hardware and academic mentorship, including Siebel Scholarship (2018), Gordon Y.S. Wu Fellowship (2013–2017), and multiple teaching/research recognitions. He actively collaborates with industry (e.g., Microsoft Research, ARM) and advises on open-source projects.

Yassine Lakhnechمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Formal Verification
• +۵ مورد دیگر

Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.

Arturo Azcorra Saloñaمشاهده پروفایل

استاد

• Multi-access Edge Computing
• Network Function Virtualization
• 5G networks and services
• +۳ مورد دیگر

Arturo Azcorra Saloña is a Full Professor at Universidad Carlos III de Madrid and the founder & Director of IMDEA Networks Institute. He has held leadership roles in technology transfer, including Director General positions at CDTI and the Spanish Ministry of Science and Innovation. Education: M.Sc. in Telecommunications Engineering (1986) and PhD in Telecommunications (1989) from UPM, MBA with honors from Instituto de Empresa (1993) Research interests focus on Multi-access Edge Computing , Network Function Virtualization , and 5G networks , with significant contributions to Software Defined Networks and Smart connectivity systems . His publications span wireless networking, vehicular networks, and formal methods, with high-impact papers on 802.11 protocols, 5G architecture, and vehicular mobility optimization. Scientific awards: Elected Chairman of Networld2020 ETP, Special University award for extraordinary merits (2002), National PhD prize (1990), Best graduating student prize (1986) Research management includes coordinating EU projects like 5G-TRANSFORMER, 5G-CROSSHAUL, and networks of excellence such as CONTENT and E-NEXT. He co-founded the ACM CoNEXT conference and contributes to European 5G PPP initiatives.

Michael Zurelمشاهده پروفایل

پژوهشگر ارشد

• Quantum Information
• Quantum Computation
• Quantum Contextuality
• +۷ مورد دیگر

Michael Zurel is a NSERC Postdoctoral Fellow in the Department of Mathematics at Simon Fraser University, working under Dr. Nadish de Silva, Canada Research Chair in the Mathematics of Quantum Computation. His research focuses on foundational aspects of quantum computation, quantum information, and nonclassical physics. Key interests include quantum contextuality, negativity in quasiprobability representations, and classical simulation algorithms for quantum systems. He holds a PhD, MSc, and BSc in Physics and Mathematics from the University of British Columbia (2024, 2020, 2019), all supervised by Dr. Robert Raussendorf. His doctoral work explored classical descriptions of quantum computations via hidden variable models and quasiprobability representations. His master’s thesis addressed hidden variable models and classical simulation algorithms for quantum computation with magic states on qubits. Research interests emphasize bridging quantum foundations with computational efficiency, particularly how nonclassical features like contextuality enable quantum advantage. Collaborators include prominent figures such as Robert Raussendorf, Juani Bermejo-Vega, and Cihan Okay. His scientific achievements include the NSERC Postdoctoral Fellowship. Advising and grants are not explicitly detailed, but his work is supported by foundational research grants. He collaborates actively within quantum information theory and computational physics communities.

Wei Liمشاهده پروفایل

استاد

• Mathematical Logic
• Concurrent Programming Languages
• Satisfiability Problems
• +۴ مورد دیگر

Wei Li is a Professor at the School of Computer Science and Engineering, Beihang University (since 1986), and Director of the State Key Laboratory of Software Development Environment (since 1992). He has held visiting positions at institutions including the University of Minnesota and Universität Saarlandes. Education: Ph.D. in Computer Science, University of Edinburgh (1979–1983) B.Sc. in Mathematics, Peking University (1961–1966) Research Interests span Mathematical Logic, Concurrent Programming Languages, Satisfiability Problems, Artificial Intelligence, Software Crowdsourcing, and Big Data. His work includes foundational contributions to logical frameworks for belief revision and specification evolution, with applications in software trustworthiness and constraint satisfaction. Publication Trends reveal a focus on formal methods (R-calculus, open logic systems), software crowdsourcing, and phase transitions in constraint satisfaction problems. His research integrates theoretical rigor with practical applications in information science and engineering. Scientific Awards include: Chinese Government Award for Publishing (2017) Tsiolkovsky Medal (2007) National Prize of First Class for Achievements in Education (2005) Ho Leung Ho Lee Prize (1998) Academician, Chinese Academy of Sciences (1997) He also supervised 8 post-docs, 52 Ph.D., and over 100 graduate students.

• Theoretical Computer Science
• Algorithm Engineering
• Parallel Computing
• +۳ مورد دیگر

Prof. Dr. Peter Sanders is a full professor in Theoretical Computer Science at the Karlsruhe Institute of Technology (KIT), leading the Algorithm Engineering group. His academic career includes a doctoral degree from Karlsruhe University and research stints at institutions like the Max Planck Institute for Informatics. He specializes in algorithm theory and engineering, focusing on parallel computing, large-scale data processing, and graph partitioning. His research bridges theoretical foundations with practical implementations, emphasizing real-world applications in optimization, route planning, and distributed systems. Education: Ph.D. in Computer Science, Karlsruhe University (1996) Bachelor/Master studies at Karlsruhe University (1988-1996) Research Interests: Algorithm design and analysis Parallel and distributed algorithms Graph algorithms and partitioning Algorithm engineering for big data High-performance computing Publications: Over 250 papers, emphasizing parallel algorithms, distributed systems, and graph theory. Recent work includes scalable SAT solving, hypergraph partitioning, and distributed string sorting. His contributions have advanced practical applications in route planning, load balancing, and large dataset processing. Awards: Recipient of the prestigious Leibniz Prize (DFG) and Baden-Württemberg State Research Prize. He coordinated the DFG Priority Program on Algorithm Engineering and is an active reviewer for major funding bodies. Consulting: Engages with companies like SAP and Google, focusing on optimization, route planning, and database algorithms. Leads projects on algorithm scalability and real-world problem-solving. Labs/Teams: Heads the Algorithm Engineering group at KIT, fostering collaborations in distributed computing and algorithmic research.

Sven Scheweمشاهده پروفایل

استاد

• Automata Theory
• Game Theory
• Formal Verification
• +۱۲ مورد دیگر

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.

• Stochastic Simulation
• Optimization
• Machine Learning
• +۵ مورد دیگر

Giulia Pedrielli is an Associate Professor at Arizona State University's School of Computing and Augmented Intelligence, with affiliations as a Senior Global Futures Scientist. She holds a Ph.D., M.Sc., and B.S. in Mechanical and Industrial Engineering from Politecnico di Milano, Italy. Her research focuses on stochastic simulation, optimization, and machine learning applications in biomanufacturing, digital twins, and cyber-physical systems. She has contributed to frameworks for pandemic modeling (PySIRTEM), RNA design, and high-dimensional optimization. Pedrielli has collaborated with institutions like NUS and UC Berkeley, and her work spans biomedical engineering, supply chain resilience, and security of critical infrastructure. Recent articles emphasize co-simulation tools, AI-driven logic translation, and falsification methods for CPS security. Her teaching includes advanced stochastic simulation courses and thesis supervision across multiple disciplines. Education: Ph.D. Mechanical Engineering, Politecnico di Milano, Italy M.Sc. Industrial Engineering, Politecnico di Milano, Italy B.S. Industrial Engineering, Politecnico di Milano, Italy Research interests integrate simulation-based optimization with machine learning, particularly in safety-critical systems like healthcare and smart infrastructure. She develops digital twin methodologies for real-time control under uncertainty, leveraging Gaussian processes and Bayesian approaches. Pedrielli's work bridges theoretical advancements (e.g., BASSO optimization algorithm) with practical applications in biomanufacturing and pandemic response.

Stephen Chongمشاهده پروفایل

استاد

• Programming Languages
• Information Security
• Language-based Security
• +۳ مورد دیگر

Stephen Chong is a Gordon McKay Professor in the Harvard John A. Paulson School of Engineering and Applied Sciences , where he co-directs the Undergraduate Studies in Computer Science program. His research intersects programming languages and information security , focusing on language-based security frameworks. Education : PhD in Computer Science from Cornell University (2008), B.Sc.(Hons) and B.A. from Victoria University of Wellington (New Zealand). Research : Develops tools like Formulog (Datalog + SMT for static analysis) and Accrue (Java interprocedural analysis), emphasizing security guarantees proportional to programmer effort. Grants : Funded by NSF , DARPA , AFOSR , and Google Faculty Research Award . Recent publications focus on neurosymbolic approaches (e.g., Guess & Sketch ), Datalog synthesis (e.g., Making Formulog Fast ), and quantitative robustness in cyber-physical systems. His group has pioneered formal methods for secure assembly transpilation and sensor attack modeling. Awards : NSF CAREER Award AFOSR Young Investigator Award Sloan Research Fellowship Advising : Supervised numerous PhD and senior thesis students, including Aaron Bembenek , Anitha Gollamudi , and Lucas Waye . Mentored projects like AbcDatalog (multi-threaded Datalog engine) and Shill (secure shell scripting). Labs/Teams : Leads the Programming Languages at Harvard group, collaborating with institutions globally. Organized workshops (e.g., NSF Workshop on Formal Methods for Security ) and chaired committees at conferences like CSF , POPL , and PLDI .

Kartik Nagarمشاهده پروفایل

استادیار

• Automated Formal Verification
• Program Analysis
• Programming Languages
• +۴ مورد دیگر

Kartik Nagar is an Assistant Professor at the Department of Computer Science and Engineering, IIT Madras . He specializes in developing verification and analysis techniques to enhance the reliability, security, and efficiency of computer systems, focusing on concurrent and distributed systems, computer architecture, and real-time systems.

• Marine Biogeochemical Modeling
• Ocean Carbon Cycle
• Ocean Deoxygenation
• +۹ مورد دیگر

Andreas Oschlies is a Professor of Marine Biogeochemical Modeling at GEOMAR Helmholtz Centre for Ocean Research Kiel, where he leads the Biogeochemical Modeling Research Unit. He has held faculty positions since 2006 at GEOMAR and previously at the National Oceanography Centre Southampton. His research spans ocean carbon and oxygen cycles, climate change impacts, and marine carbon dioxide removal (CDR), with a strong emphasis on Earth system modeling and biogeochemical processes. His primary research interests include marine biogeochemical modeling, ocean deoxygenation, climate engineering, carbon dioxide removal, ocean modeling, and the marine nitrogen cycle. His work integrates numerical modeling, data assimilation, and interdisciplinary policy-relevant science to assess climate intervention strategies and their biogeochemical consequences. The 15 most recent articles highlight a strong focus on marine carbon dioxide removal, particularly ocean alkalinity enhancement and artificial upwelling, as well as ocean deoxygenation, carbon cycle feedbacks, and Earth system modeling. His publications frequently appear in high-impact journals such as Nature Communications , Environmental Research Letters , and Biogeosciences , reflecting a consistent trend toward understanding climate intervention technologies and their environmental trade-offs. Scientific Awards: Georg-Wüst Preis (2011) Andreas Oschlies has played key advisory and leadership roles in national and international scientific initiatives. He has coordinated the DAM Research Mission 'Marine Carbon sinks in Decarbonization Pathways', the Global Ocean Oxygen Decade (GOOD) under the UN Ocean Decade, and the European Marine Board Working Group on Marine Carbon Dioxide Removal. He was coordinator of the DFG SPP 1689 on Climate Engineering and has served on scientific advisory boards for institutions including the Leibniz Institute for Baltic Sea Research and the Institute for Chemistry and Biology of the Sea. He has also co-edited journals such as Ocean Modelling and JAMES , underscoring his influence in the modeling community. He leads a major research unit at GEOMAR focused on developing and applying biogeochemical models to study ocean-climate interactions. His team works on data assimilation, parameter optimization, and the representation of mixing processes in numerical models, contributing to global efforts in climate prediction and carbon cycle assessment.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Formal Verification
• +۳ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During the 2023-24 academic year, he served as a Visiting Professor at EPFL in the Data Center Systems Laboratory. His research bridges Programming Languages and Networking , focusing on formal verification, data plane programming, and language design for networked systems. His recent work includes developing symbolic automata for network verification (e.g., Active Learning of Symbolic NetKAT Automata , StacKAT ), creating efficient verifiers like KATch , and advancing type safety in data plane programming (e.g., SafeP4 ). These efforts span formal methods, algorithm optimization, and practical networked systems. Notable scientific awards include: NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award He actively contributes to PLDI, POPL, OOPSLA, and ICFP, serving as author, editor, and committee member. His GitHub repositories include tools for academic website templates and programming language research codebases.

• Digital Journalism
• Social Media Strategy
• Digital Marketing
• +۴ مورد دیگر

Jose Sixto Garcia is a Professor of Communication Sciences at the University of Santiago de Compostela, where he also serves as the Director of the Institute of Social Media (City of Culture of Galicia). His academic career includes a Doctorate in Communication and Journalism (awarded the Extraordinary Doctorate Award), an MBA, and a Master's in Teacher Training. He specializes in digital media, social networks, and journalism innovation, focusing on topics like AI in newsrooms, risk communication, and media convergence. Director: Institute of Social Media (Galicia) Affiliations: IDEGA and Faculty of Communication Sciences His research explores the Fourth Industrial Revolution's impact on journalism, influencer marketing, and transparency in media. He has authored over 20 books, including Marketing and Communication and Fundamentals of Digital Marketing . Garcia has published extensively in peer-reviewed journals and contributes to media outlets like El Correo Gallego . Key Research Areas: Social Media Strategy, Digital Journalism, Media Ethics Notable Work: Co-creation of journalistic content, analysis of YouTube channels in media distribution Awards include the Extraordinary Doctorate Award (2011) and recognition for contributions to media innovation. His work bridges academic research and practical applications, emphasizing digital literacy and ethical communication practices.

Ethan Katz-Bassettمشاهده پروفایل

دانشیار

• Networking
• Distributed Systems
• Internet Measurement
• +۷ مورد دیگر

Ethan Katz-Bassett is an Associate Professor in the Electrical Engineering Department at Columbia University, with an affiliation in the Computer Science Department. He is also a member of the Computer Engineering Program and the Data Science Institute's Sense, Collect and Move Data Center. Previously, he held the Andrew and Erna Viterbi Early Career Chair at the University of Southern California, where he led a networking and systems research group. His research focuses on improving the reliability and performance of Internet services through measurement-driven system design, with a focus on networks, distributed systems, and cloud infrastructure. Affiliations: Columbia University (Current), University of Southern California (Former) Key Projects: Edge Fabric (Facebook), Sibyl (Route Oracle), PoiRoot (Route Change Analysis), Odin (Microsoft CDN) His research interests include Internet measurement, routing optimization, content delivery networks (CDNs), TCP performance, and mobile web performance. He has pioneered tools like PEERING, a BGP testbed for scalable experiments, and developed systems such as LIFEGUARD for network failure detection. His work often bridges academia and industry, with collaborations at Google, Microsoft, and Facebook. Ethan has received numerous awards, including the SIGCOMM Rising Star Award (2019), IETF Applied Networking Research Prize (2019), and NSF CAREER Award (2014). His funding includes grants from Google, Facebook, Comcast, and the NSF. He holds a Ph.D. from the University of Washington, advised by Tom Anderson and Arvind Krishnamurthy. Grants and Labs: Works with the M-Lab, RIPE Atlas, and SpeedChecker platforms. Current funding includes Google Faculty Awards, an M-Lab grant, and NSF support.

Ashish Nandaمشاهده پروفایل

پژوهشگر ارشد

• Cybersecurity
• Authentication Technologies
• Digital Identity
• +۵ مورد دیگر

Ashish Nanda is a Research Fellow at the Deakin Cyber Research and Innovation Centre (Deakin Cyber) at Deakin University, Australia, where he contributes expertise to pioneering cybersecurity research. Prior to his current role, he served as a Research Fellow at the Centre for Cyber Resilience and Trust (CREST), Centre for Cyber Security Research and Innovation (CSRI), and the Deakin Blockchain Innovation Lab (DBIL). He has also enriched the academic community as a Lecturer at the University of Technology Sydney. Dr. Nanda's educational background includes: PhD in Computer Science from the University of Technology Sydney Bachelor of Technology in Computer Science & Engineering from Amity University, India His research spans cybersecurity, authentication technologies, digital identity, and usable security. Nanda has contributed to national projects funded by the Cyber Security CRC, focusing on multi-factor authentication, privacy-preserving digital credential wallets, and ambient intelligence-based continuous authentication systems. His work bridges technical security measures with human factors, emphasizing that security solutions must be both robust and user-friendly to achieve widespread adoption. This human-centered approach to security has become increasingly prominent in his recent publications. Dr. Nanda's publication trajectory shows a clear evolution from foundational network security protocols toward increasingly human-centered security approaches. While his earlier research focused on technical aspects of secure routing for wireless mesh networks and IoT infrastructure, his recent work emphasizes usable security, authentication devices, and digital identity systems. This shift reflects the growing recognition in cybersecurity that technical solutions alone are insufficient without considering human factors and user experience. Dr. Nanda has received significant research funding through: Cyber Security Cooperative Research Centre (CRC) Australia's Economic Accelerator program He actively contributes to public discourse through articles in The Conversation and interviews with major media outlets including SBS News, The Guardian, and The Feed. His research collaborations extend across multiple institutions with emphasis on practical applications addressing real-world cybersecurity challenges. Nanda has also co-founded Adroit Explorer Innovation Chambers, a not-for-profit organization dedicated to fostering innovation and exploration in technology.