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

• Programming Languages
• Formal Verification
• Compilers
• +۶ مورد دیگر

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he heads the SYSTEMF lab. Previously, he was a PhD candidate at MIT under Adam Chlipala and a Senior Applied Scientist at Amazon AWS. His research focuses on programming languages, compilers, and formal verification, with broader interests in systems engineering, hardware design languages, security, performance engineering, and type theory. Key research areas include extensible compilation, hardware design languages verification, and tooling for proof assistants. Recent publications span topics like JavaScript regular expression verification ( ICFP 2024 ), relational compilation ( PLDI 2024 ), and foundational integration verification for cryptographic servers ( PLDI 2024 ). Scientific Awards: Distinguished Artifact, ACM SIGPLAN International Conference on Software Language Engineering (2020) William A. Martin Memorial Thesis Award for Outstanding Thesis in Computer Science, MIT (2016) Frederick C. Hennie III Teaching Award, MIT (2016) As an educator, he teaches Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. His teaching philosophy emphasizes hands-on learning, oral examinations, and project-based assignments that lead to tangible artifacts. The SYSTEMF lab focuses on building small, fast, and completely verified systems components through machine-checked proofs, hardware-software co-design, low-level compiler engineering, and theorem prover tooling.

• 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.

Junchen Jiangمشاهده پروفایل

استادیار

• Networked Systems
• Machine Learning
• Cloud Computing
• +۳ مورد دیگر

Junchen Jiang is an Assistant Professor of Computer Science at the University of Chicago, joining in July 2018. He holds a PhD from Carnegie Mellon University (2017) under advisors Vyas Sekar and Hui Zhang, and a B.A. from Tsinghua University's Yao Class (2011). His research focuses on networked systems and machine learning systems, aiming to enhance performance and reliability of large-scale systems through advanced ML techniques. Key research areas include Big Data, Cloud Computing, Distributed Systems, and applying ML to network optimization. He leads projects such as LMCache for LLM serving and GRACE for real-time video streaming. His work has been recognized with awards like the NSF CAREER Award (2022) and ACM EuroSys Best Paper (2025). He collaborates with the Systems Group and Machine Learning Group at UChicago, and co-leads the CERES Center for Unstoppable Computing. His teaching includes graduate courses on machine learning for networks and systems. Education: PhD in Computer Science, Carnegie Mellon University, 2017 B.A., Computer Science (Yao Class), Tsinghua University, 2011 Awards: ACM EuroSys Best Paper (2025) NSF CAREER Award (2022) Google Faculty Research Award (2019) Labs/Groups: Systems Group Machine Learning Group CERES Center Professional Activities: Program committee member for SIGCOMM, NSDI, EuroSys, and others Organizer of workshops on Edge Video and NetAI

• Computer Networks
• Internet Video Distribution
• Network Synthesis
• +۶ مورد دیگر

Sanjay Rao is a Professor in the School of Electrical and Computer Engineering at Purdue University, leading the Internet Systems Laboratory. His research focuses on network synthesis/design/verification and Internet video distribution. He holds a B.Tech from IIT Madras and a Ph.D from Carnegie Mellon University. He has held visiting roles at Google, AT&T Research, and Princeton University. Research & Awards: His work includes groundbreaking contributions like End System Multicast (winner of the ACM SIGMETRICS Test of Time Award), Oboe (ABR auto-tuning), and Veritas (causal video streaming analysis). He received the NSF CAREER Award (2010) and is an ACM Distinguished Member (2021). Teaching: Courses include Computer Networking (ECE 463), Object-Oriented Programming (ECE 39595), and Computer Network Systems (ECE 595). Service: Chair, ACM Sigcomm Doctoral Dissertation Award Committee (2022); Associate Editor, IEEE/ACM Transactions on Networking (2016–2020). Labs & Teams: Directs the Internet Systems Lab (ISL) with active projects on video streaming, network resilience, and intent-based design. Graduate students collaborate on these initiatives.

Wang Xiaoمشاهده پروفایل

استادیار

• Computer Security
• Privacy
• Cryptography
• +۷ مورد دیگر

Xiao Wang is an Assistant Professor of Computer Science at Northwestern University, specializing in applied cryptography with a focus on privacy-preserving systems, secure multi-party computation, and zero-knowledge proofs. He holds a PhD from the University of Maryland and completed postdoctoral fellowships at MIT and Boston University. His research bridges theoretical cryptography and practical applications in machine learning, databases, health informatics, and legal domains. Education: Postdoctoral Fellowship: MIT & Boston University (2018–2020) PhD in Computer Science: University of Maryland (2015–2019) B.E. in Computer Science: Hong Kong University of Science and Technology (2011–2015) Research Interests: Secure computation frameworks (MPC, ZK) Privacy-preserving machine learning Cryptographic protocol design Applications in healthcare and legal systems Publications Trends: Recent work emphasizes scalable MPC protocols (e.g., BitGC), privacy in machine learning (Confidential-DPproof), and cross-domain applications like secure reporting systems. Over 40 peer-reviewed papers in top venues (CCS, S&P, Eurocrypt, USENIX Security) reflect his focus on both theoretical rigor and practical usability. Awards: ACM CCS Best Paper (2017, 2021) CSLAW Best Paper (2025) ICLR Spotlight Award (2024) Multiple industry-recognized competitions (iDASH 2015) Advising & Grants: Supervises a dynamic PhD/postdoc team (10+ active researchers). Leads NSF CAREER project on MPC systematization. Collaborates with Chicago-area hospitals and VA on secure health data analytics. Co-develops tools like ObliVM and ZKSMT . Labs/Teams: Core member of Northwestern's Cryptography and Privacy Engineering Group . Co-leads the MPC Tall Order initiative for standardized MPC frameworks. Partner in NIST threshold cryptography projects.

• Network & Information Security
• Internet of Things (IoT) Security
• Attack Detection & Prevention
• +۴ مورد دیگر

Dr. Anca Delia Jurcut is an Assistant Professor in the School of Computer Science at University College Dublin (UCD), leading the DNS Research Lab. She holds a PhD in Security Engineering from the University of Limerick and a BSc in Computer Science and Mathematics from West University of Timisoara. With over 16 years of academic and industry experience, her research focuses on cybersecurity, including formal verification of security protocols, IoT security, and machine learning applications for threat detection. She has secured €1.5M+ in EU and national grants and authored over 120 peer-reviewed publications. Notable awards include the 2023 Best Paper Award from JNCA and inclusion in the World’s Top 2% Scientists (2024). Education: PhD (University of Limerick), BSc (West University of Timisoara) Research Interests: Cybersecurity, Attack Detection, Formal Verification, Blockchain, Quantum-Resistant Protocols Awards: World’s Top 2% Scientist, IEEE Senior Member, UCD Women in Science Award Research Highlights : Pioneered SDN attack datasets (InSDN), developed formal verification tools (CDVT/AD), and advanced ransomware classification frameworks. Current projects address quantum-resistant protocols, MEC security, and resilient IoT systems. Grants & Funding : Lead researcher on EU H2020 projects (e.g., AIDA), SFI grants (Machine Learning Labs), and NATO-funded studies on insider threats. Collaborates internationally on cybersecurity frameworks and edge computing security. Labs & Teams : DNS Research Lab (UCD), co-founder of the InSDN Dataset initiative, and contributor to the CDVT/AD formal verification tool.

Malek Adjouadiمشاهده پروفایل

استاد

• Pattern Recognition
• Medical Imaging
• Biometrics
• +۲ مورد دیگر

Malek Adjouadi serves as Ware Professor and Director of the Center for Advanced Technology and Education (CATE) in the Department of Electrical and Computer Engineering at Florida International University, where he has been a Full Professor since 2007 and previously served as Acting Department Chair from 1997-2001. His academic foundation includes: Ph.D. in Electrical Engineering, University of Florida (1985) M.S. in Electrical Engineering, University of Florida (1981) B.S. in Electrical Engineering, Oklahoma State University (1978) Adjouadi's research bridges Pattern Recognition with critical medical and security applications. His primary focus involves Medical Imaging analysis for pediatric epilepsy using fMRI and EEG data, where he develops advanced classification algorithms for language network mapping and seizure detection. This work extends into Biometrics through thermal imaging authentication systems and iris recognition, while also encompassing Signal Processing techniques for neurological data and contributions to Cryptography through biometric security frameworks. His interdisciplinary approach consistently applies computational methods to solve complex problems in neuroscience and security domains. Analysis of his 14 publications from 2006-2013 reveals a dominant medical neuroscience trajectory focused on pediatric epilepsy diagnostics, with significant contributions to biometric security emerging around 2011-2012. The medical works predominantly employ machine learning for brain imaging analysis, while his security publications introduce novel approaches to facial authentication and geospatial data management. As Director of CATE, Adjouadi leads technology education initiatives while teaching advanced courses including Digital Image Processing, Computer Vision, and Neural Systems. His professional service includes representation at State University System of Florida meetings and Board of Regents presentations, demonstrating ongoing institutional leadership.

• Health IT Systems Design
• Human-Computer Interaction
• Human Factors Engineering
• +۵ مورد دیگر

Akanksha Singh is an Assistant Professor and Assistant Professor (P) at the School of Health Professions, Health Services Administration, University of Alabama at Birmingham since August 2023. She holds a PhD in Informatics from the University of South Carolina (2023) and has extensive experience in health information systems design, human-computer interaction, and applied artificial intelligence techniques in healthcare. Her research focuses on human factors in health IT systems, including patient preferences in clinical decision support, health recommender systems (HRS), and community health information networks (CHINs). Education includes a Master of Science in Computer Science (2017) and Bachelor of Technology in Computer Science (2012) from the University of South Carolina and Jaypee Institute of Information Technology. She has held roles as a Research Scientist at the Center for Effectiveness Research in Orthopedics and served as a Graduate Research Assistant and IT Research Manager. Research interests span Health IT systems design, human factors, data analytics, and AI applications in healthcare. Notable projects include the CHIPSS information system for substance use recovery, I-C-IT orthopedic treatment recommender, and the STORY+ app for breast cancer adherence. Awards include the AMIA 2020 Distinguished Poster Award and multiple graduate fellowships. Her work integrates Design Science Research (DSR) methodologies, emphasizing iterative software artifact development. Active in teaching, she has instructed courses on health information systems management and HCI at both UAB and USC. Technical expertise includes programming in Python, PHP, JavaScript, and platforms like MS SQL Server and PowerBI.

Nathan Carterمشاهده پروفایل

استاد

• Mathematics Education
• Data Science
• Computer Graphics
• +۲ مورد دیگر

Nathan Carter is a Professor of Mathematical Sciences at Bentley University, blending computer science with mathematical education through innovative software tools and award-winning textbooks. His research focuses on visualization in abstract algebra, data science pedagogy, and educational technology development. Awards: Beckenbach Book Prize (2012, 2016) MAA Henry L. Alder Award for Distinguished Teaching Publications: Authored foundational texts including Visual Group Theory (2009), Mathematics of Computer Graphics (2016), and edited Data Science for Mathematicians (2020). These works facilitate the teaching of complex mathematical concepts through visual and computational approaches. Software Development: Creates open-source educational tools for mathematical logic and abstract algebra visualization, such as the proof-checking software Lurch. His work emphasizes bridging theoretical mathematics with practical computational skills.

Gunter Bolchمشاهده پروفایل

استاد

• Performance Modelling
• Process Control
• Operating Systems
• +۶ مورد دیگر

Dr. Gunter Bolch was a Professor and former head of the Performance Modelling and Process Control research group at the Department of Computer Science 4 (Distributed Systems and Operating Systems) of Friedrich-Alexander-Universität Erlangen-Nürnberg. He held positions such as Akademischer Direktor and was a Visiting Professor at institutions like the Catholic University of Rio de Janeiro. His work focused on performance modeling using queueing networks, stochastic Petri nets, and Markov chains, with applications in telecommunications and operating systems. Education: Studied Telecommunication at Technical Universities of Karlsruhe and Berlin (Ph.D. 1973). Retired in 2006 but remained active in research and academia until his passing in 2008. Research interests spanned performance evaluation, process control, and analytical methods for computer systems. He authored/co-authored 7 books and over 130 publications, including influential works on queueing networks and MOSEL modeling language. Key contributions include the PEPSY and MOSEL tools for performance analysis. Collaborated internationally on conferences like ASMTA and ESS. His work integrated theoretical models with practical applications, impacting both academia and industry.

• Wireless Networks
• Internet of Things (IoT)
• Fog Computing
• +۷ مورد دیگر

Luis Orozco-Barbosa is a full-time Professor in the Department of Systems Informatics at the Universidad de Castilla-La Mancha, Spain. He previously held academic positions at the University of Ottawa, Canada, progressing from Assistant to Full Professor in the School of Information Technology and Engineering and the Department of Electrical and Computer Engineering. His career spans over three decades, with a consistent focus on networking, wireless systems, and emerging technologies. Research Interests: His primary research areas include Wireless Networks, Internet of Things (IoT), Fog and Edge Computing, Indoor Localization, Smart Cities, and Energy-Efficient Communication Protocols. He has made significant contributions to MAC layer design, sensor networks, and the application of AI in network optimization. His work bridges theoretical modeling with practical implementation in real-world systems. Publication Trends: His recent publications (2022–2025) reflect a strong emphasis on next-generation wireless standards (e.g., IEEE 802.11ah), deep learning for localization, federated-fog architectures, and energy-aware algorithms for IoT. The interdisciplinary nature of his research is evident in journals spanning signal processing, computer-aided design, human-computer interaction, and mathematical modeling. Scientific Awards: Investigador RENACYT - Grupo Carlos Monge Medrano - Nivel I Grants and Funding: He has secured multiple competitive research grants from Spanish national and regional agencies, including the Ministry of Economy and Competitiveness and the Ministry of Education, Culture and Sport. His funded projects address high-performance server optimization, reliable data center architectures, UAV applications, and wireless sensor networks in viticulture (WISEVINE2). These grants highlight his leadership in applied research with societal and industrial impact. Labs and Research Teams: While specific lab names are not mentioned, his frequent collaborations with researchers such as Manuel Castillo-Cara, Javier Gómez, and Raúl García-Castro suggest active leadership in a research group focused on smart systems, IoT, and network protocols at Universidad de Castilla-La Mancha.

• Computer Systems
• Networking
• Distributed Systems
• +۳ مورد دیگر

Rachee Singh is an Assistant Professor of Computer Science at Cornell University, where she leads the sysphotonics research group. She also holds a concurrent role as an Amazon Scholar in the SageMaker Hyperpod teams at Amazon, specializing in large-scale machine learning infrastructure development. Her research bridges photonic systems and distributed computing to optimize cloud-scale workloads. Her research focuses on: Designing photonic interconnects for server/rack-scale and long-haul networks Enhancing distributed machine learning performance through network optimization Developing algorithms for cloud workload efficiency Advancing traffic engineering in wide-area networks Creating fault-tolerant optical network architectures Her publications demonstrate consistent focus on photonic networking innovations applied to cloud systems and machine learning infrastructure, with recent emphasis on optical WANs, memory offloading techniques for LLMs, and chip-to-chip photonics. Major Awards: Cisco Research Award (2023, 2025) Amazon Research Award (2024) PCCW Affinito-Stewart Grant (2024) She leads the sysphotonics group at Cornell, advising PhD students on photonic networking and distributed systems research. Her work is supported by $1M+ grants from NSF, DARPA (JUMP 2.0), Cisco, Amazon, and Cornell's Atkinson Center for Sustainability.

Amr El Abbadiمشاهده پروفایل

استاد

• Database Systems
• Distributed Systems
• Data Security and Privacy
• +۵ مورد دیگر

Amr El Abbadi is a Distinguished Professor of Computer Science at the University of California, Santa Barbara (UCSB), affiliated with the College of Engineering. His research focuses on addressing scalability challenges in data management, privacy preservation, and distributed systems. He holds fellowships from IEEE, ACM, and AAAS, and received the 2020-21 Outstanding Faculty Award. Education: PhD in Computer Science, Cornell University BEng in Computer Science, Alexandria University Research Interests: El Abbadi's work bridges theoretical foundations and practical applications in distributed systems, databases, and blockchain technology. He explores methods for secure data management in untrusted environments, including privacy-preserving techniques, scalable transaction processing, and fault-tolerant protocols. Key themes include: Efficient data storage and retrieval (e.g., LSM-tree optimizations) Blockchain sharding and cross-chain interoperability Homomorphic encryption for private queries Byzantine fault tolerance frameworks Grants & Labs: His research is supported by grants from NSF and industry partnerships. He leads projects in UCSB's Database and Distributed Systems Lab, emphasizing real-world impact through systems like Ziziphus (edge server data management) and Bedrock (BFT protocol analysis platform). Labs/Teams: Collaborates with the UCSB Computer Science Department’s Distributed Systems Group, focusing on advancing cloud and blockchain infrastructures.

Sarah Sharifمشاهده پروفایل

استادیار

• Atomic, Molecular, and Optical (AMO) Engineering
• Quantum Devices and Systems
• Nanophotonic Structures
• +۴ مورد دیگر

Dr. Sarah Sharif is an Assistant Professor in the School of Electrical and Computer Engineering at the University of Oklahoma. She leads the QNET laboratories, focusing on quantum devices, nanophotonics, and optical systems. Her research spans AMO engineering for next-generation communication and sensing, as well as mid-infrared nanomaterial innovations. Dr. Sharif holds a Ph.D. in Electrical Engineering from Louisiana State University (LSU), with minors in Physics and a graduate certificate in Materials Science. Her postdoctoral work at the University of Illinois Urbana-Champaign explored quantum light-matter interactions. She has over a decade of industrial R&D experience and contributed to LIGO’s gravitational wave research (2018–2020). Professional memberships include APS, OSA, Optica, and IEEE. She is the new Optica leader for Quantum Optical Science & Technology (2023). Her lab’s mission emphasizes diversity in STEM, fostering inclusive innovation in quantum and photonic technologies. Current research includes quantum convolutional neural networks (QCNNs), aerosol scattering mitigation in free-space optics, and mid-IR nanophotonic optimization. Active collaborations with industry and academia drive applied projects in neuromorphic computing, UAV systems, and smart manufacturing.

• Game Studies
• Interactive Fiction
• Human-Computer Interaction
• +۷ مورد دیگر

Neil Randall is a tenured Associate Professor in the Department of English at the University of Waterloo , Canada. As Executive Director of the Games Institute and Chair of the Council for Responsible Innovation and Technology , he bridges literary scholarship with digital media studies through interdisciplinary research. PhD in English, York University MA in English, University of Waterloo BA with Distinction in English, University of Guelph His research explores game studies , virtual worlds , and the semiotics of human-computer interaction , with a unique focus on adapting J.R.R. Tolkien's works into interactive media. He also investigates professional writing pedagogy, technical documentation , and multimedia production . Recent publications analyze peer-to-peer networks , online language evolution (including emoticons and acronyms), and user interface design . The 2002 Lingo Online study with MSN.CA revealed generational adoption patterns of digital communication tools. SSHRC Doctoral Fellowship (1983-1985) A.M. Ross Prize in English (1978) Alma Mater Scholarship (1978) As a graduate supervisor, he has guided PhD research on augmented reality interfaces and feminist criticism , along with MA theses on myth-poetics in fantasy literature and narrative structures in The Lord of the Rings . He leads the Games Institute's collaborative space in East Campus 1, fostering equity-driven research across humanities , social sciences , and engineering disciplines.