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

Raghavan Komondoorمشاهده پروفایل

دانشیار

• Programming languages
• Program analysis
• Software engineering
• +۹ مورد دیگر

Raghavan Komondoor is an Associate Professor in the Department of Computer Science and Automation at the Indian Institute of Science (IISc), Bangalore. His research focuses on programming languages, program analysis, and software engineering, with a strong emphasis on developing automated tools that help programmers understand, verify, and transform programs quickly and reliably. His primary research interests include: Programming languages and program analysis Software verification and testing Static analysis techniques Null dereference verification Points-to analysis Web application analysis ORM-based controller verification Memory optimization in Java programs Code clone detection and elimination Dr. Komondoor has developed several influential research tools including NPEDetector for null dereference verification, Ross for verifying Java program safety, DFAS for static analysis of asynchronous systems, PageModeler for web application analysis, and ORMInfer for verification of ORM-based controllers. His research spans over a decade with publications in top-tier software engineering conferences including ASE, ICSE, ISSTA, and SPLASH. His recent publications demonstrate a consistent focus on formal methods and program verification, with significant contributions to symbolic fixpoint algorithms, ORM controller verification, and controller synthesis over infinite state spaces. These works build upon his earlier foundational research in points-to analysis, web application analysis, and null pointer verification. Dr. Komondoor's service contributions to the academic community include: Program Committee Co-Chair for ATVA 2025 Organizing co-chair for ISEC 2024 Chair of PhD Symposium committee for ISEC 2020 Program committee membership for ICSE (2018-2025), ASE (2019-2020), ISSTA (2022), and numerous other major conferences He has successfully mentored numerous PhD and M.Tech students, many of whom now work at leading organizations including Microsoft, Siemens Research, Goldman Sachs, and academic institutions. Currently, he advises multiple PhD students and M.Tech researchers in the Programming Languages Laboratory at IISc. He teaches courses on Program Analysis and Verification, Principles of Distributed Software, and Formal Methods in Software Engineering, and maintains active research projects with open positions for research staff.

Jerzy Konorskiمشاهده پروفایل

دانشیار

• Network Security
• Trust and Reputation Systems
• Wireless Networks
• +۳ مورد دیگر

Dr. Jerzy Konorski serves as an Associate Professor in the Department of Teleinformatics at the Faculty of Electronics, Telecommunications and Informatics, Gdańsk University of Technology. His research addresses critical security and reliability challenges in modern networked systems. His primary research domains include: Network Security Trust and Reputation Systems Wireless Networks Quality of Service (QoS) Management Blockchain Applications Multi-Agent Systems Recent publications (2020-2023) reveal a consistent focus on adversarial scenarios in distributed systems. Key themes encompass computational trust mechanisms under virtual anonymity, mitigation of traffic remapping and content poisoning attacks in wireless and information-centric networks, and game-theoretic defenses against QoS abuse. His work bridges theoretical modeling with practical algorithmic solutions for security vulnerabilities. As principal investigator for the OPUS-funded project Reputation and trust building in computer communication systems under virtual anonymity and blind service provider selection (2017-2020, agreement UMO-2016/21/B/ST6/03146), he led research on trust dynamics in service-oriented architectures where provider selection occurs without identity disclosure. This work established foundational models for closed-loop trustworthiness computation in anonymous multi-agent environments.

Stanisław Barańskiمشاهده پروفایل

مدرس

• Privacy-Preserving Technologies
• Machine Learning
• Blockchain
• +۳ مورد دیگر

Stanisław Barański serves as an Assistant lecturer at the Department of Computer Systems Architecture within the Faculty of Electronics, Telecommunications and Informatyki at Gdańsk University of Technology, where he conducts research at the intersection of privacy-enhancing technologies and distributed systems. His research focuses on: Privacy-preserving machine learning inference architectures Blockchain-based anonymous service provision Cryptographic solutions for industrial IoT security Neural network privacy tradeoffs in client-server prediction Analysis of his 2022-2025 publications reveals consistent emphasis on practical implementations of homomorphic encryption, secure multi-party computation, and decentralized storage for GDPR-compliant applications in healthcare, finance, and industrial monitoring. His work prioritizes balancing computational overhead with real-world deployability in privacy-critical environments.

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

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

استاد

• Cryptography
• Computer and Network Security
• Theoretical Computer Science
• +۳ مورد دیگر

Jonathan Katz is a Professor in the Department of Computer Science at the University of Maryland, affiliated with the College of Computer, Mathematical, and Natural Sciences. He holds appointments in both Computer Science (CS) and Electrical and Computer Engineering (ECE). His research focuses on cryptography, cybersecurity, and theoretical computer science, with contributions to cryptographic protocol design, post-quantum cryptography, and secure multiparty computation. He has led the Maryland Cybersecurity Center (2013–2019) and served as an Eminent Scholar in Cybersecurity at George Mason University (2019–2020). Education: Ph.D. in Computer Science from Columbia University (2002), B.S. in Mathematics and Chemistry from MIT (1996). Awards: ACM Fellow (2021), IACR Fellow (2019), ACM SIGSAC Outstanding Contribution Award (2019), UMD Distinguished Scholar-Teacher (2017), Humboldt Research Award (2015), NSF CAREER Award (2004). Research Interests: Cryptographic protocols, post-quantum security, privacy-preserving computation, and blockchain technologies. Notable contributions include foundational work on password-based authenticated key exchange and co-authoring the textbook Introduction to Modern Cryptography . Students Advised: Includes PhD candidates such as Kasra Abbaszadeh, Noemi Glaeser, and Benjamin Sela. His work has been supported by grants from NSF, DARPA, and industry partnerships. Labs/Teams: Active in the Joint Center for Quantum Information and Computer Science (QuICS) and the Maryland Cybersecurity Center, focusing on post-quantum cryptography and secure distributed systems.

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

دانشیار

• Manufacturing
• Integrated Product Design
• Metal Forming
• +۴ مورد دیگر

Dr. Sven Esche is an Associate Professor in Mechanical Engineering at Stevens Institute of Technology. He holds a PhD from Ohio State University and specializes in manufacturing, computational mechanics, and engineering education innovation. With over 30 years of academic experience, he has held leadership roles including Associate Department Director and Program Director for graduate studies. Education includes: PhD in Mechanical Engineering, Ohio State University (1997) MS in Mechanical Engineering, Ohio State University (1994) Diploma in Applied Mechanics, Chemnitz University of Technology (1989) His research integrates virtual laboratories, game-based learning, and IoT applications to transform engineering education. Recent work develops biometric proctoring systems and adaptive control algorithms for robotics education. Publications demonstrate consistent focus on enhancing remote experimentation through VR/AR technologies and collaborative learning frameworks. Awards recognizing his contributions: Employee Recognition Award for Excellence (2016) Humphreys Distinguished Teaching Award (2015) Best Paper Award, ASEE Conference (2006) He coordinates multi-institutional research projects in educational technology and advises graduate students in mechanical engineering. Directs laboratory facilities developing telepresence robots and virtual assembly platforms for distance learning.

Mahmoud Darwichمشاهده پروفایل

استادیار

• Cloud Computing
• Video Streaming Optimization
• Machine Learning
• +۲ مورد دیگر

Mahmoud Darwich is Assistant Professor of Computer Science at the University of Mount Union, specializing in cloud-based video streaming solutions. His research integrates machine learning with distributed systems to optimize quality, storage, and delivery costs. Key innovations include AI-driven resource allocation models and edge computing frameworks for low-latency streaming. Publications focus on ARIMA prediction models, neural network-based caching, and federated learning approaches. Educational background includes a Ph.D. in Computer Engineering from University of Louisiana Lafayette. Teaching covers film aesthetics and production, connecting technical foundations with applied media creation.

• Stochastic Modeling
• Actuarial Science
• Catastrophe Risk Modeling
• +۵ مورد دیگر

Petar Jevtic is an Adjunct Assistant Professor in the Department of Mathematics and Statistics at McMaster University. His research focuses on stochastic modeling, actuarial science, catastrophe risk modeling, and cybersecurity. He has contributed significantly to mortality modeling, cyber risk quantification, and disaster impact analysis. His work often integrates interdisciplinary methods from statistics, economics, and computer science. Research interests include spatial mortality analysis, percolation theory applications in network vulnerability, and blockchain security. Notable projects involve quantifying social hardship from disasters like Hurricane Maria in Puerto Rico and developing frameworks for cyber risk assessment in critical infrastructure. Publications span topics such as mortality hedging strategies, loss distribution models for cyber attacks, and software tools for Petri net analysis. Collaborations include work with Traian Pirvu, Paul McNicholas, and Hector Antonio Paez. No grants or awards are explicitly mentioned in the provided texts. Advising and lab affiliations remain unspecified.

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

• Secure Systems
• Operating Systems
• Distributed Systems
• +۵ مورد دیگر

Nickolai Zeldovich is the Joan and Irwin M. (1957) Jacobs Professor of Electrical Engineering and Computer Science at MIT and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on building practical secure systems through the integration of formal methods with real-world system design. His research interests span secure systems, operating systems, distributed systems, formal verification, and cryptography. Recent work emphasizes automated reasoning for distributed system liveness, leakage-free hardware security modules, and privacy-preserving web technologies. Projects include CryptDB (encrypted databases), FSCQ (verified file systems), Algorand (cryptocurrency), and Vuvuzela (private messaging). His publication trends show consistent output in formal verification of distributed systems (Shipwright, Grove), hardware security (K2 Architecture), and privacy technologies (Tiptoe). Recent work increasingly combines theoretical verification with practical implementation constraints. Best Paper Awards at ACM SOSP (2013, 2015, 2017) Sloan Research Fellowship (2010) NSF CAREER Award (2011) MIT EECS Jamieson Award for Excellence in Teaching (2024) ACM SIGOPS Mark Weiser Award (2017) Amazon Research Award (2023) He advises PhD students through the PDOS research group with active grants from Amazon, Google, NSF, and DARPA. His teaching includes core courses like Computer Systems Security and Operating System Engineering, emphasizing hands-on security analysis. The PDOS lab maintains strong industry connections with multiple startup spin-offs and regular technology transfer to production systems. He leads the PDOS (Parallel and Distributed Operating Systems) Research Group, which focuses on building verified, secure, and high-performance systems through close collaboration between theory and practice.

• Web Engineering
• Performance Optimization
• Data Management
• +۳ مورد دیگر

Benjamin Wollmer is a Researcher at the Visual Systems (VSIS) department within the Faculty of Mathematics, Informatics and Natural Sciences at the University of Hamburg. He is actively involved in research projects such as Baqend and HADeS , focusing on web performance optimization and scalable data management. Research Focus : Web Engineering, Performance Optimization, Polyglot Data Management Key Publications : Explored delta encoding for web compression, scalable test data generation, and caching strategies Teaching : Supervised 15+ theses on topics including real-time databases and client-side performance

Juho Tuomas Vepsäläinenمشاهده پروفایل

مدرس

• Web Development
• JavaScript Programming
• Static Site Generation
• +۵ مورد دیگر

Dr. Juho Tuomas Vepsäläinen is a Lecturer at the Department of Computer Science, Aalto University, specializing in web development technologies. His work focuses on modern web application architectures and optimization techniques. Research interests include: Hybrid rendering models JavaScript ecosystems and standardization Serverless edge computing Static site generation Framework evolution Web performance optimization Recent publications (2022-2025) analyze emerging trends in web development, with particular emphasis on hybrid architectures, edge computing, and disappearing frameworks. His work appears in venues like IEEE Access, Web Engineering, and Web Information Systems and Technologies conferences. Dr. Vepsäläinen collaborates with colleagues including Arto Hellas and Petri Vuorimaa on next-generation web technologies. He maintains expertise in tools such as Node.js, Deno, and React.js.

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability and Security of Software Systems
• Concurrent and Distributed Systems
• Secure Replicated Systems
• +۴ مورد دیگر

Mohsen Lesani is an Associate Professor at the Computer Science and Engineering Department of University of California, Santa Cruz . He obtained his PhD from UCLA , MS in Artificial Intelligence from Sharif University of Technology , and BS in Software Engineering from University of Tehran . His research focuses on reliability and security of software systems , particularly concurrent and distributed systems , with recent work on secure replicated systems and distributed machine learning . NSF CAREER Award (2020) DARPA Young Faculty Award (2022) SIGPLAN Research Highlight (2019) Distinguished Paper Award at OOPSLA 2018 Best Paper Award at ISSRE 2015 His recent publications tackle challenges in automated synthesis of distributed protocols , heterogeneous replication , secure blockchain transactions , and verified RDMA-based data types . He advises PhD students Xiao Li , Eric Chan , Javad Saber-Latibari , and Tejas Mane in the Safe and Secure Software (S3) lab . He has taught courses on Distributed Systems , Parallel Programming , and Compiler Design .

Danijela Tešendićمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Environmental Monitoring
• +۲ مورد دیگر

Danijela Tešendić serves as an Associate Professor in the Department of Mathematics and Informatics at the Faculty of Sciences, University of Novi Sad. Her office is located in the Information Technologies and Systems office (DMI&DF), second floor, room 50, with contact details including telephone (485)-2873 and email tesendic@dmi.uns.ac.rs. She maintains a professional presence through her website at http://www.is.pmf.uns.ac.rs/daca/. Her research demonstrates dual expertise in environmental monitoring systems and library information technology. Recent work (2022-2025) focuses on machine learning applications for airborne pollen classification using CNN architectures and domain adaptation techniques, contributing to standardization frameworks in environmental science. Earlier contributions (2013-2019) established foundational work in library management systems, particularly through the BISIS software platform, business intelligence integration, and mobile accessibility solutions for visually impaired patrons. Analysis of her publication trajectory reveals a strategic shift toward interdisciplinary environmental informatics while maintaining connections to information systems. Her pollen monitoring research bridges computer vision with ecological applications, emphasizing real-time processing and cross-device compatibility. Concurrently, her library science work pioneered cloud-based service models and inclusive design principles, showcasing adaptable technical frameworks across distinct domains. Scientific Awards No awards or honors were documented in the provided materials. Advising and Grants Student mentorship details are absent from the source text. No research grants or funding sources are explicitly referenced.